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 ?
27
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 ?
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.
gnome-shell-extension-toola été remplacé par les plus puissantsgnome-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 etgnome-extensions info $extension, où$extensionpeut être obtenue à partir de la liste