Les extensions du Shell de GNOME

Les extensions du Shell de GNOME permettent de personnaliser le Shell de GNOME et ses composantes, comme la gestion des fenêtres et le démarrage des applications.

Chaque extension est identifiée par un identifiant unique, l’UUID, qui est également utilisé pour le nom du répertoire d’installation. Les extensions peuvent être installées soit pour chaque utilisateur dans ~/.local/share/gnome-shell/extensions/<uuid>, soit au niveau du système dans /usr/share/gnome-shell/extensions/<uuid>.

Pour afficher les extensions installées, vous pouvez utiliser la boîte de dialogue d’inspection, l’outil de débogage et d’inspection intégré à l’interface système de GNOME.