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

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

    user-db:user
system-db:local

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

  3. Actualisez les bases de données système :

    # dconf update