Extensions Gnome

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