Abilitare estensioni al livello della macchina

Per rendere disponibili le estensioni a tutti gli utenti sul sistema, installarle nella directory /usr/share/gnome-shell/extensions. Notare che, come impostazione predefinita, le estensioni installate di recente al livello della macchina sono disabilitate.

È necessario impostare la chiave org.gnome.shell.enabled-extensions per impostare le estensioni abilitate predefinite. Tuttavia, attualmente non c'è modo per abilitare estensioni aggiuntive per gli utenti che hanno già effettuato l'accesso. Questo non si applica agli utenti esistenti che hanno installato e abilitato le proprie estensioni GNOME.

Impostazione della chiave org.gnome.shell.enabled-extensions

  1. Creare un profilo user in /etc/dconf/profile/user:

    user-db:user
system-db:local

  2. Creare un database local per le impostazioni al livello della macchina in /etc/dconf/db/local.d/00-extensions:

    [org/gnome/shell]
# Elenco di tutte le estensioni che da abilitare per tutti gli utenti
enabled-extensions = ['lamiaestensione1@ilmionome.esempio.it', 'lamiaestensione2@ilmionome.esempio.it']

    La chiave enabled-extensions specifica le estensioni abilitate utilizzando l'uuid delle estensioni (lamiaestensione1@ilmionome.esempio.it e lamiaestensione2@ilmionome.esempio.it).

  3. Aggiornare i database di sistema:

    # dconf update