Extensions Gnome

GererGérer les extentionsextensions en ligne de commande :
gnome-extensions list pour lister les extensions.
gnome-extensions enable pour activer une extension.
gnome-extensions disable pour desactiverdésactiver une extension.
gnome-extensions Pour afficher la liste des options.