Petr Kovar
pknbe@volny.cz
2014
Jana Svarova
jana.svarova@gmail.com
Enable GNOME Shell extensions for all users.
Enable machine-wide extensions
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.
You need to set the org.gnome.shell.enabled-extensions key in
order to set the default enabled extensions. However, there is currently no
way to enable additional extensions for users who have already logged in. This
does not apply for existing users who have installed and enabled their own
GNOME extensions.
Setting the org.gnome.shell.enabled-extensions key
-
Create a user profile in
/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).