Comment activer / désactiver une extension gnome-shell à partir de la ligne de commande

Disons que j'ai réussi à installer mon ensemble d'extensions gnome-shell. Mais je veux désactiver / désactiver la ligne de commande. Cela n'est possible que par action de la souris, AFAIK.

Comment puis je faire ça ?

command-line gnome gnome-shell-extension

— taharqa
source

Il est bien décrit dans le wiki Gnome , citant:

Vous pouvez le faire avec la clé GSettings, org.gnome.shell.enabled-extensions ou plusieurs outils qui manipulent cette clé GSettings, tels que GNOME Tweak Tool ou une version récente de gnome-shell-extension-tool.

Si vous invoquez gnome-shell-extension-tool --help, vous verrez qu'il est capable d'activer et de désactiver les extensions par leur nom. Par exemple, la commande suivante active les thèmes utilisateur:

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

Oh, et vous pouvez obtenir les noms de toutes vos extensions installées localement en faisant ls ~/.local/share/gnome-shell/extensions. Il vous donnera des entrées du formulaire the-name@author.

— Mx
source

Cela ne fonctionne pas si l'extension n'a pas été installée. Il modifie uniquement les paramètres dans dconf.

— wayofthefuture

Dans les versions plus récentes (je suis sur 19.10), gnome-shell-extension-toola été remplacé par les plus puissants gnome-extensions. Cela permet des requêtes utiles sur l'environnement en cours d'exécution, par exemple: gnome-extensions listpour obtenir une liste des extensions installées et gnome-extensions info $extension, où $extensionpeut être obtenue à partir de la liste

— sxc731