Як активувати / деактивувати розширення gnome-shell з командного рядка

Скажімо, я успішно встановив набір розширень оболонок gnome. Але я хочу відключити / відключити з командного рядка. Це можливо лише за допомогою дії миші, AFAIK.

Як я можу це зробити?

command-line gnome gnome-shell-extension

— тахарка
джерело

Це добре описано у вікі Gnome , цитуючи:

Це можна зробити за допомогою ключа GSettings, org.gnome.shell.enabled-extensions або декількох інструментів, що управляють цим ключем GSettings, наприклад, GNOME Tweak Tool або останньої версії інструменту gnome-shell-extension-extension.

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

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

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

— Mx
джерело

Він не працює, якщо розширення не було встановлено. Він змінює лише налаштування в dconf.

— wayofthefureure

У новіших версіях (я 19.10) gnome-shell-extension-toolвитіснили більш потужні gnome-extensions. Це дозволяє корисні запити щодо запущеної env, наприклад: gnome-extensions listотримати список встановлених розширень і gnome-extensions info $extension, де $extensionїх можна отримати зі списку

— sxc731