Voraussetzungen¶

Nach der Installation der GNOME Shell wird automatisch beim Aufruf der Seite extensions.gnome.org ein Plugin für die Internetbrowser Firefox, Chromium/Google Chrome und GNOMEs Webbrowser (ehem. Epiphany) installiert, damit die Verwaltung der Erweiterungen möglich ist. Bei Opera klappt die Verwaltung der Erweiterungen erst ab Version 12.10 und ab GNOME 3.6. Für andere Browser gibt es kein passendes Plugin, sodass für die Verwaltung der Erweiterungen einer der oben genannten Browser benutzt werden muss.

Einzelansicht einer Erweiterung

Installation¶

Um neue Erweiterungen zu installieren, muss der Anwender die Internetseite extensions.gnome.org mit einem dafür geeigneten Internetbrowser aufrufen. Die Internetseite erkennt selbständig, welche GNOME Shell Version benutzt wird und bietet dem Interessenten eine Vielzahl von Erweiterungen an.

Ist die gewünschte Erweiterung gefunden, kann mit einem Klick auf die Bezeichnung die dazu gehörende Übersichtsseite aufgerufen werden, wo neben einem Screenshot, Erläuterungen, Kommentare und Bewertungen zu finden sind.

Wurde eine passende Erweiterung ausgewählt, genügt ein Klick auf den Kippschalter um mit dem dann erscheinenden Installationsdialog den Download- und den daran sich anschließenden Installationsvorgang fortzusetzen. Die ausgewählte Erweiterung wird im Lokalen Verzeichnis (~/.local/share/gnome-shell/extensions/) installiert. Damit einhergehenden Änderungen am System werden sofort wirksam, was einen Neustart der GNOME Shell in der Regel überflüssig macht.

Erweiterungen verwalten¶

Auf der Seite https://extensions.gnome.org/local/ können Erweiterungen installiert, konfiguriert, (de)aktiviert, aktualisiert oder gelöscht werden.

(De)aktivieren¶

Übersichtsseite über alle installierten Erweiterungen

Mit einen Klick auf den Kippschalter lassen sich Erweiterungen ab- und wieder anschalten.

gnome-shell-extension-prefs  

Löschen¶

Einstellungen für Erweiterungen der GNOME-Shell - Beispiel: 'system-monitor'

Um eine im Lokalen Verzeichnis (~/.local/gnome-shell/extensions/) installierte Erweiterung komplett zu löschen, genügt ein Klick auf das "Löschen"-Symbol rechts neben dem Namen der betreffenden Anwendung.

Sollte eine im Globalen Verzeichnis (/usr/share/gnome-shell/extensions/) installierte Extension zum löschen gewählt werden, sind diese nur deaktiviert. Ein erneutes aktivieren über die Website funktioniert nur, wenn die Aktivierung der betreffenden Erweiterung mit dem gnome-tweak-tool (wobei mehrere Aktivierungsversuche nötig sein können) ausgeführt wird.

Voraussetzungen¶

Um Erweiterungen aus einem "Personal Package Archiv" (PPA) ^[1] aktivieren zu können, muss zusätzlich das GNOME Tweak Tool vorhanden sein.

Installation¶

Die Erweiterungen werden aus der Fremdquelle heruntergeladen und im Verzeichnis ~/.local/share/gnome-shell/extensions abgelegt. Sollen Erweiterungen für alle Benutzer systemweit verfügbar sein, sollten diese mit Root-Rechten ^[4] im Verzeichnis /usr/share/gnome-shell/extensions abgelegt werden.

Aktivierung¶

Nach einem Neustart der GNOME Shell mittels Alt + F2 und der Eingabe von R , werden die neuen Erweiterungen verfügbar gemacht und können mit dem GNOME Tweak Tool unter "Shell-Erweiterungen" aktiviert werden.

Erweiterungen nach Neustart deaktiviert¶

Bei Ubuntu GNOME kann der Fehler auftreten, dass bei jedem Systemstart die Erweiterungen deaktiviert sind und einzeln wieder aktiviert werden müssen. In diesem Fall stellt man im Anmeldebildschirm die Sitzung von "GNOME" auf "Default" um, woraufhin die Erweiterungen auch nach einem Neustart aktiviert bleiben.