Mit dem Erweiterungs-Manager von Gnome können Erweiterungen, Apps und andere Dinge für die Gnome-Shell schnell und einfach installiert, aktualisiert und aktiviert bzw. deaktiviert werden.
Die integrierte Suche findet schnell eine Erweiterung – unterteilt in Installiert und Nicht installiert. Zudem benachrichtigt der Manager den Benutzer, wenn eine Erweiterung aktualisiert werden kann, bzw. diese beim nächsten Abmelden installiert wird. Einen weiterer Vorteil ist für mich die Möglichkeit sich Screenshots und Bilder der Erweiterung anzeigen zu lassen und Kommentare und Bewertungen zu lesen.
Der Gnome Extension Manager kann einfach über Flathub heruntergeladen werden. Entweder über die Flathub-Seite oder über den beschriebenen Paketmanager Bauh 😉 ..Bauh..
Auch wenn der Extention Manager auch in den Paketquellen der Distribution enthalten ist, empfehle ich trotzdem die Variante über Flathub, da diese oft aktueller ist, als die Version der Distributionen.
Mehr zum Gnome Erweiterungs-Manager: https://github.com/mjakeman/extension-manager
Screenshots:
Letztes Update: So, 30. Jul. 2023
Ursprünglich veröffentlicht: Mi, 21. Jun. 2023