Как активировать / деактивировать расширение оболочки gnome из командной строки

Допустим, я успешно установил свой набор расширений gnome-shell. Но я хочу деактивировать / деактивировать из командной строки. Это возможно только через действие мыши, AFAIK.

Как я могу это сделать ?

command-line gnome gnome-shell-extension

— Тахарка
источник

Это хорошо описано в вики Gnome , цитируя:

Это можно сделать с помощью ключа GSettings, org.gnome.shell.enabled-extensions или нескольких инструментов, управляющих этим ключом GSettings, таких как GNOME Tweak Tool или недавняя версия gnome-shell-extension-tool.

Если вы вызываете gnome-shell-extension-tool --help, вы увидите, что он может включать и отключать расширения по их имени. Например, следующая команда включает темы пользователя:

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

О, и вы можете получить имена всех ваших локально установленных расширений, выполнив ls ~/.local/share/gnome-shell/extensions. Это даст вам записи в форме the-name@author.

— Mx
источник

Это не работает, если расширение не было установлено. Это только меняет настройки в dconf.

— wayofhefuture

В более новых версиях (я на 19.10) gnome-shell-extension-toolбыл заменен более мощным gnome-extensions. Это позволяет выполнять полезные запросы к запущенному env, например: gnome-extensions listполучить список установленных расширений и gnome-extensions info $extension, где $extensionего можно получить из списка

— sxc731