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ć ?
źródło
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ć ?
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
.
gnome-shell-extension-tool
został zastąpiony przez mocniejszychgnome-extensions
. Pozwala to na użyteczne zapytania przeciwko działającej env, np .:gnome-extensions list
uzyskanie listy zainstalowanych rozszerzeń orazgnome-extensions info $extension
, gdzie$extension
można uzyskać z listy