Допустим, я успешно установил свой набор расширений gnome-shell. Но я хочу деактивировать / деактивировать из командной строки. Это возможно только через действие мыши, AFAIK.
Как я могу это сделать ?
27
Допустим, я успешно установил свой набор расширений gnome-shell. Но я хочу деактивировать / деактивировать из командной строки. Это возможно только через действие мыши, AFAIK.
Как я могу это сделать ?
Это хорошо описано в вики 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.
gnome-shell-extension-toolбыл заменен более мощнымgnome-extensions. Это позволяет выполнять полезные запросы к запущенному env, например:gnome-extensions listполучить список установленных расширений иgnome-extensions info $extension, где$extensionего можно получить из списка