Jak włączyć / wyłączyć rozszerzenie powłoki gnome z linii poleceń

Powiedzmy, że z powodzeniem zainstalowałem mój zestaw rozszerzeń powłoki gnome. Ale chcę dezaktywować / dezaktywować z linii poleceń. Jest to możliwe tylko za pomocą myszy, AFAIK.

Jak mogę to zrobić ?

command-line gnome gnome-shell-extension

— taharqa
źródło

Jest to dobrze opisane na wiki Gnome , cytując:

Możesz to zrobić za pomocą klucza GSettings, rozszerzeń org.gnome.shell.enabled-lub kilku narzędzi do manipulowania tym kluczem GSettings, takich jak GNOME Tweak Tool lub najnowsza wersja gnome-shell-extension-tool.

Jeśli wywołasz gnome-shell-extension-tool --help, zobaczysz, że jest w stanie włączać i wyłączać rozszerzenia według ich nazw. Na przykład następujące polecenie włącza motywy użytkownika:

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

Aha, możesz uzyskać nazwy wszystkich zainstalowanych lokalnie rozszerzeń ls ~/.local/share/gnome-shell/extensions. Otrzymasz wpisy formularza the-name@author.

— Mx
źródło

Nie działa, jeśli rozszerzenie nie zostało zainstalowane. Zmienia tylko ustawienia w dconf.

— wayofthefuture

W nowszych wersjach (jestem 19.10) gnome-shell-extension-toolzostał zastąpiony przez mocniejszych gnome-extensions. Pozwala to na użyteczne zapytania przeciwko działającej env, np .: gnome-extensions listuzyskanie listy zainstalowanych rozszerzeń oraz gnome-extensions info $extension, gdzie $extensionmożna uzyskać z listy

— sxc731