Petr Kovar
pknbe@volny.cz 2014
Activar las extensiones de GNOME Shell para todos los usuarios.
Daniel Mustieles
daniel.mustieles@gmail.com 2017

# Activar las extensiones para todo el equipo

To make extensions available to all users on the system, install them in the /usr/share/gnome-shell/extensions directory. Note that newly-installed machine-wide extensions are disabled by default. To enable the extensions for all users, you need to set the `org.gnome.shell.enabled-extensions` key.

# Configurar la clave org.gnome.shell.enabled-extensions

Cree un perfil `user` en /etc/dconf/profile/user:

user-db:user system-db:local

Create a `local` database for machine-wide settings in /etc/dconf/db/local.d/00-extensions:

[org/gnome/shell] # List all extensions that you want to have enabled for all users enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']

The `enabled-extensions` key specifies the enabled extensions using the extensions’ uuid (`myextension1@myname.example.com` and `myextension2@myname.example.com`).