So aktivieren / deaktivieren Sie eine Gnome-Shell-Erweiterung über die Befehlszeile

27

Angenommen, ich habe meine Gnome-Shell-Erweiterungen erfolgreich installiert. Aber ich möchte über die Befehlszeile deaktivieren / deaktivieren. Dies ist nur mit der Maus AFAIK möglich.

Wie kann ich das machen ?

Taharqa
quelle

Antworten:

36

Es ist im Gnome-Wiki gut beschrieben und zitiert:

Sie können dies mit dem GSettings-Schlüssel org.gnome.shell.enabled-extensions oder verschiedenen Werkzeugen tun, die diesen GSettings-Schlüssel manipulieren, z. B. GNOME Tweak Tool oder eine neuere Version des Gnome-Shell-Extension-Tools.

Wenn Sie aufrufen gnome-shell-extension-tool --help, werden Sie feststellen , dass Erweiterungen mit ihrem Namen aktiviert und deaktiviert werden können. Mit dem folgenden Befehl werden beispielsweise Benutzerthemen aktiviert:

gnome-shell-extension-tool -e user-theme

Oh, und Sie können die Namen aller lokal installierten Erweiterungen abrufen, indem Sie folgendermaßen vorgehen ls ~/.local/share/gnome-shell/extensions. Es gibt Ihnen Einträge des Formulars the-name@author.

Mx
quelle
2
Es funktioniert nicht, wenn die Erweiterung nicht installiert wurde. Es werden nur die Einstellungen in dconf geändert.
Wayofthefuture
1
In neueren Versionen (ich bin am 19.10), gnome-shell-extension-toolwurde von der mächtigeren abgelöst gnome-extensions. Dies ermöglicht nützliche Abfragen gegen die gnome-extensions listgnome-extensions info $extension$extension
aktuelle Umgebung