Activer les extensions à l’échelle système

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