Extensions Gnome

Gerer les extentions en ligne de commande :
gnome-extensions list pour lister les extensions.
gnome-extensions enable pour activer une extension.
gnome-extensions disable pour desactiver une extension.
gnome-extensions Pour afficher la liste des options.