Disons que j'ai réussi à installer mon ensemble d'extensions gnome-shell avec succès. Mais je veux les désactiver/désactiver depuis la ligne de commande. Cela n'est possible qu'avec une action de la souris, autant que je sache.
Comment puis-je faire cela ?
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 qui manipulent cette clé GSettings, comme 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 des extensions par leur nom. Par exemple, la commande suivante active les thèmes utilisateur :
gnome-shell-extension-tool -e user-themeOh, 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 de la forme le-nom@auteur.
Vous pouvez voir une liste des extensions installées avec la commande suivante
gnome-extensions listÀ partir de la liste, vous pouvez activer/désactiver n'importe quelle extension de cette manière :
gnome-extensions enable user-theme@gnome-shell-extensions.gcampax.github.com
gnome-extensions disable user-theme@gnome-shell-extensions.gcampax.github.comRemarquez que le nom complet de l'extension est requis.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
