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