Install ‘GNOME Extensions Manager’
GNOME-Erweiterungen sind eine fantastische Möglichkeit, Ihrem Ubuntu-Desktop neue Funktionen, Fähigkeiten und Persönlichkeit hinzuzufügen. Es gibt GNOME-Erweiterungen für (fast) alles, was Sie sich vorstellen können, von der Anzeige des Wetters über die Anzeige der Netzwerkgeschwindigkeit bis hin zum Hinzufügen von Viertelkacheln auf dem Desktop
Mit GNOME Extension Manager können Sie:
Suchen, durchsuchen und installieren Sie GNOME-Erweiterungen
Lesen Sie Rezensionen zu Erweiterungen Erweiterungen aktivieren/deaktivieren
Greifen Sie auf die installierten Erweiterungseinstellungen zu
Gibt es eine Möglichkeit, die Konfigurationen sämtlicher Extensions zu übertragen bzw die Konfigurationen ausgewählter Extensions? - Also ich meine, gibt es eine Export- und Import-Möglichkeit?
Ich habe unter ~/.local/share/gnome-shell/extensions eine Reihe Unterverzeichnisse gefunden, das dürften die extensions sein. Die liegen dort als JavaScript-Apps herum - Berechtigungen auf Userbasis. Das sehe ich eigentlich als ein Sicherheitsrisiko, wenn ich es mir so recht überlege. Aber Config-Files finde ich analog dazu unter ~/.config/... nix.