GNOME Extension manuell installieren

Die gewünschte GNOME Extensions von der Website herunterladen.

//extensions.gnome.org/

• Bei der Version auch auf die eigene Shell-Version achten
• Die heruntergeladene Datei entpacken
• Home-Verzeichnis öffnen und Strg+H drücken
• Kopieren des entpackten Ordner in das Verzeichnis

~/.local/share/gnome-shell/extensions

• Öffnen im kopierten Ordner die Datei metadata.json
• Den Wert "uuid": "_____________", finden und kopieren
• Den entsprechenden Ordner mit dem Wert von 'uuid' ersetzen
• GNOME Tweaks-Tool starten und die neu installierte Erweiterung aktivieren und/oder konfigurieren