Petr Kovar
pknbe@volny.cz 2013
Les extensions du Shell de GNOME permettent de personnaliser l’interface du Shell de GNOME.
Thibault Leclair
thibaultleclair@yahoo.com 2021
Mathieu Bousquet
mathieu.bousquet2@gmail.com 2022
Irénée Thirion
irenee.thirion@e.email 2023
Guillaume Bernard
associations@guillaume-bernard.fr 2023

# 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.

# Afficher les extensions installées

Appuyez sur Alt F2, saisissez lg puis appuyez sur Entrée pour ouvrir la boîte de dialogue d’inspection.

Dans la barre supérieure de la boîte de dialogue d’inspection, cliquez sur Extensions pour afficher la liste des extensions installées.