Petr Kovar pknbe@volny.cz 2014 Activar extensións de GNOME Shell para os usuarios. Fran Diéguez frandieguez@gnome.org 2010-2018 Activar as extensións a nivel de máquina

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.

Configure a chave org.gnome.shell.enabled-extensions

Cree un perfíl de usuario en /etc/dconf/profile/user:

user-db:user system-db:local

Cree unha base de datos local para as preferencias a nivel de máquina en /etc/dconf/db/local.d/00-extensions:

[org/gnome/shell] # Mostra todas as extensións que quere activar para todos os usuarios 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).