Comment activer / désactiver une extension gnome-Shell en ligne de commande
Disons que j'ai installé avec succès mon ensemble d'extensions gnome-shell. Mais je veux désactiver/désactiver à partir de la ligne de commande. Ceci n'est possible que par l'action de la souris, autant que je sache.
Comment puis je faire ça ?
Il est bien décrit dans le wiki de Gnome , citant:
Vous pouvez le faire avec la clé GSettings, org.gnome.Shell.enabled-extensions ou plusieurs outils manipulant cette clé GSettings, tels que GNOME Tweak Tool ou une version récente de gnome-Shell-extension-tool.
Si vous appelez 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 le nom de toutes vos extensions installées localement en effectuant ls ~/.local/share/gnome-Shell/extensions. Il vous donnera des entrées de la forme the-name@author.