Petr Kovar
pknbe@volny.cz 2014
Jana Svarova
jana.svarova@gmail.com
Activer les extensions du Shell de GNOME pour tous les utilisateurs.
Thibault Leclair
thibaultleclair@yahoo.com 2021
Mathieu Bousquet
mathieu.bousquet2@gmail.com 2022
Guillaume Bernard
associations@guillaume-bernard.fr 2023
Irénée Thirion
irenee.thirion@e.email 2023-2024

# Activer les extensions à l’échelle système

Pour autoriser les utilisateurs du système à bénéficier des extensions, installez-les dans le répertoire /usr/share/gnome-shell/extensions. Notez que les extensions installées à l’échelle du système et qui sont nouvellement installées sont désactivées par défaut.

Vous devez définir la clé `org.gnome.shell.enabled-extensions` pour spécifier les extensions activées par défaut. Cependant, il n’existe actuellement aucun moyen d’activer des extensions supplémentaires pour des utilisateurs déjà connectés. Cela ne s’applique pas aux utilisateurs existants qui ont installé et activé leurs propres extensions de GNOME.

# Définir la clé org.gnome.shell.enabled-extensions

Créez un profil `user` dans /etc/dconf/profile/user :

user-db:user system-db:local

Créez une base de données `local` pour paramétrer à l’échelle système dans /etc/dconf/db/local.d/00-extensions :

[org/gnome/shell] # Ajouter toutes les extensions que vous souhaitez activer pour tous les utilisateurs enabled-extensions=['extension1@nom.exemple.com', 'extension2@nom.exemple.com']

La clé `enabled-extensions` spécifie les extensions activées à l’aide de l’uuid des extensions (`extension1@nom.exemple.com` et `extension2@nom.exemple.com`).