Die übliche Methode, Gnome-Shell-Erweiterungen zu installieren, beinhaltet einige umständliche Schritte: die Konfiguration eines Webbrowsers, die Installation der offiziellen Gnome-Shell-Browsererweiterung und die Einrichtung des Pakets „gnome-chrome-shell“, welches die Verbindung zwischen Browser und Desktop herstellt. Dieser Prozess kann besonders für neue Nutzer recht anstrengend sein.
Wenn Sie jedoch gerne Gnome-Shell-Erweiterungen nutzen, aber den Installationsprozess vereinfachen möchten, sollten Sie sich den Extension Manager genauer ansehen. Der Extension Manager ist ein Programm für Linux, das es ermöglicht, jede Gnome-Shell-Erweiterung schnell und ohne den Einsatz eines Browsers zu installieren. Im Folgenden erfahren Sie, wie Sie den Extension Manager auf Ihrem System einrichten.
Installation des Extension Managers unter Linux
Der Extension Manager wird unter Linux über Flatpak angeboten. Alternativ können fortgeschrittene Nutzer die Anwendung auch über das Arch Linux AUR installieren. Um den Installationsvorgang zu starten, öffnen Sie zunächst ein Terminalfenster auf Ihrem Linux-Desktop.
Wie öffnet man ein Terminalfenster? Drücken Sie die Tastenkombination Strg + Alt + T. Alternativ können Sie auch im Anwendungsmenü nach „Terminal“ suchen und es von dort starten. Sobald das Terminalfenster geöffnet ist, können Sie mit den folgenden Installationsanweisungen fortfahren.
Installation über Flatpak via Flathub
Der einfachste Weg, den Extension Manager auf Ihrem Linux-System zu installieren, ist die Nutzung der Flatpak-Version aus dem Flathub App Store. Zunächst müssen Sie jedoch die Flatpak-Laufzeitumgebung auf Ihrem System einrichten.
Installieren Sie hierzu das Paket „flatpak“ über das Terminal. Falls Sie Schwierigkeiten bei der Einrichtung der Flatpak-Laufzeit auf Ihrem System haben, empfehlen wir Ihnen unser Tutorial, das Ihnen dabei hilft.
Sobald die Flatpak-Laufzeitumgebung erfolgreich installiert ist, können Sie den Flathub App Store mit dem folgenden Befehl hinzufügen:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo
Nachdem Sie den Flathub App Store hinzugefügt haben, können Sie den Extension Manager mit dem folgenden Befehl installieren:
flatpak install flathub com.mattjakeman.ExtensionManager
Installation über Flatpak via GitHub
Obwohl wir empfehlen, den Extension Manager über den Flathub App Store zu installieren, ist dies nicht die einzige Option. Sie können die Anwendung auch als eigenständiges Flatpak direkt von GitHub beziehen.
Hinweis: Die Installation des Extension Managers als Flatpak von GitHub sollte nur als Alternative dienen, falls die Installation über Flathub nicht möglich ist.
Um den Installationsprozess zu starten, verwenden Sie den Befehl wget, um die neueste Version des Extension Managers herunterzuladen:
wget https://github.com/mjakeman/extension-manager/releases/download/v0.2.1/extension-manager.flatpak
Nach dem Download des Flatpak-Pakets können Sie die Anwendung mit folgendem Befehl installieren:
flatpak install extension-manager.flatpak
Die Installation sollte nun funktionieren. Sollte Flatpak sich dennoch weigern, die Installation durchzuführen, könnte es sein, dass die benötigten Laufzeitumgebungen nicht installiert wurden.
Installation unter Arch Linux
Für Arch Linux Nutzer ist der Extension Manager über das Arch Linux User Repository (AUR) verfügbar. Um die Installation zu starten, richten Sie zunächst die Pakete „git“ und „base-devel“ mit dem Befehl pacman ein:
sudo pacman -S git base-devel
Nachdem die beiden Pakete installiert wurden, richten Sie das Hilfsprogramm Trizen AUR ein. Dieses Hilfsprogramm vereinfacht die Installation des Extension Managers erheblich.
git clone https://aur.archlinux.org/trizen.git
cd trizen/
makepkg -sri
Abschließend installieren Sie den Extension Manager mit dem folgenden Befehl:
trizen -S extension-manager
Einfache Installation von Gnome-Shell-Erweiterungen mit dem Extension Manager
Um Gnome-Shell-Erweiterungen mit dem Extension Manager zu installieren, starten Sie die Anwendung. Befolgen Sie anschließend die folgenden Schritte:
Schritt 1: Suchen Sie im Extension Manager die Schaltfläche „Durchsuchen“ und wählen Sie diese aus, um zum Suchbereich der App zu gelangen. Klicken Sie dann in das Suchfeld und geben Sie ein Suchwort ein.
Wenn Sie beispielsweise nach „Dock from Dash“ suchen möchten, geben Sie dies in das Suchfeld ein.
Schritt 2: Nach der Eingabe eines Suchwortes werden die Suchergebnisse umgehend angezeigt. Klicken Sie hier auf die gewünschte Erweiterung, um zur Installationsseite dieser Erweiterung zu gelangen.
Schritt 3: Auf der Installationsseite finden Sie die Schaltfläche „Installieren“. Klicken Sie darauf, um die Gnome-Shell-Erweiterung herunterzuladen und auf Ihrem System zu installieren.
Deinstallation von Erweiterungen
Das Entfernen installierter Erweiterungen mit dem Extension Manager ist ebenfalls sehr einfach. Starten Sie dazu zunächst die App. Suchen Sie dann den Bereich „Installiert“ und klicken Sie darauf.
Suchen Sie im Bereich „Installiert“ nach der Erweiterung, die Sie deinstallieren möchten. Wählen Sie die entsprechende Erweiterung aus und klicken Sie auf die rote Schaltfläche „Entfernen“.
Sobald Sie auf die rote Schaltfläche „Entfernen“ geklickt haben, werden die Dateien der Erweiterung von Ihrem System gelöscht und die Erweiterung vollständig deinstalliert. Wiederholen Sie diesen Vorgang für alle Erweiterungen, die Sie entfernen möchten.