GNOME Shell-Erweiterungen

Ankur Sinha, Fedora-Dokumentationsteam Version F38 Last review: 2023-08-04

Aus der Webseite:

„GNOME Shell-Erweiterungen sind kleine Codeabschnitte, die von Drittanbietern geschrieben werden und die Funktionsweise von GNOME verändern. (Wenn Sie mit Chrome-Erweiterungen oder Firefox-Add-ons vertraut sind, sind GNOME Shell-Erweiterungen ähnlich.)“

Da Erweiterungen außerhalb des regulären GNOME-Design- und Entwicklungsprozesses erstellt werden, werden sie von ihren Autoren und nicht von der GNOME-Community unterstützt. Einige Funktionen, die zunächst als Erweiterungen implementiert wurden, könnten in zukünftigen Versionen von GNOME Eingang finden.“

Bitte melden Sie Fehler in diesen Erweiterungen direkt an deren Entwickler.

Erweiterungen können entweder lokal oder systemweit sein. Lokale Erweiterungen werden von jedem Benutzer in seinem Home-Verzeichnis installiert (~/.local/share/gnome-shell/extensions), während systemweite Erweiterungen von Administratoren in Systemverzeichnissen installiert werden (/usr/share/gnome-shell/extensions/). Systemerweiterungen können daher von Benutzern ohne Administratorrechte weder installiert, aktualisiert noch entfernt werden. Sie können jedoch von jedem Benutzer aktiviert oder deaktiviert werden.

Bei Abstürzen der GNOME Shell empfiehlt es sich, zunächst alle Erweiterungen zu deaktivieren. Stürzt die GNOME Shell direkt beim Anmelden ab, können Sie, falls installiert, eine andere Arbsitsumgebung verwenden oder die unten aufgeführten Befehlszeilenwerkzeuge über ein virtuelles Terminal (Strg + Alt + F2) deaktivieren.

Installieren und Entfernen systemweiter GNOME Shell-Erweiterungen

Diese Erweiterungen sind in der Regel in den Fedora-Paketquellen verfügbar und können mit den Standard-Paketverwaltungswerkzeugen wie dnf installiert, entfernt und aktualisiert werden. Eine Liste der verfügbaren Erweiterungen finden Sie hier (durch Suchen in der Paketverwaltung nach gnome-shell-extension).

Führen Sie dconf aus, um die Systemdatenbanken von dconf zu aktualisieren und die neu installierten systemweiten Erweiterungen allen Benutzern zur Verfügung zu stellen. # dconf update

Installieren und Entfernen lokaler GNOME Shell-Erweiterungen

Lokale GNOME Shell-Erweiterungen können auf verschiedene Arten installiert werden.

  • Direkt von der Webseite mit Firefox. Hierfür ist die Installation einer Browsererweiterung erforderlich. Falls diese nicht installiert ist, zeigt die Website eine Benachrichtigung mit einem Installationslink an.

  • Manuelle Installation. Dies wird nicht empfohlen. Fortgeschrittene Benutzer, die dies dennoch tun möchten, sollten die Anweisungen der Entwickler befolgen.

Diese können alle auch verwendet werden, um installierte lokale Erweiterungen zu aktualisieren.

Aktivieren, Deaktivieren und Ändern von Einstellungen für GNOME Shell-Erweiterungen

Alle Erweiterungen können von jedem Benutzer aktiviert, deaktiviert und ihre Einstellungen angepasst werden:

  • Webseite der Gnome-Erweiterungen mittels Firefox.

  • Das Werkzeug gnome-shell-extension-tool ermöglicht das Aktivieren und Deaktivieren von Erweiterungen, jedoch nicht deren Einstellungen zu ändern. Es erlaubt das Neuladen einer Erweiterung ohne Ab- und erneutes Anmelden und erstellt zudem ein Standardgerüst für die Entwicklung neuer Erweiterungen. Weitere Informationen erhalten Sie mit gnome-shell-extension-tool -h.

  • Die App GNOME Extensions bietet neben anderen Anpassungsmöglichkeiten auch die Möglichkeit, GNOME-Shell-Erweiterungen zu aktivieren, zu deaktivieren deren Einstellungen zu ändern.