Comment puis-je activer/désactiver les extensions GNOME à partir de la ligne de commande ?
J'ai fait un gif animé de ce que j'essaie de faire depuis le terminal pour mieux l'expliquer. Je n'essaie pas d'activer ou de désactiver une seule extension .
J'ai regardé gnome-tweaks -h mais il n'a pas l'option que je recherche.
Options:
--version show program's version number and exit
-h, --help show this help message and exit
-t, --test Enable test and debug code
-l, --load Load all tweaks
-p [/, /usr], --prefix=[/, /usr]
Installation prefix (for gsettings schema, themes,
etc)
-v, --verbose Print the names of settings modified
-d, --debug Enable debug output
Réponse acceptée :
Exécuter
gsettings set org.gnome.shell disable-user-extensions true
pour désactiver toutes les extensions activées par l'utilisateur (il se souviendra des extensions actuellement activées, ne désactivera pas les extensions individuellement).
De même, exécutez
gsettings set org.gnome.shell disable-user-extensions false
pour activer les extensions.