11.2. Enabling Machine-wide Extensions
To make extensions available to all users on the system, install them in the
/usr/share/gnome-shell/extensions
directory.
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.
Procedure 11.2. Enabling machine-wide extensions
- Create a
local
database file 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']
[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']
Copy to Clipboard Copied! Toggle word wrap Toggle overflow Theenabled-extensions
key specifies the enabled extensions using the extensions' uuid (myextension1@myname.example.com and myextension2@myname.example.com). - Update the system databases:
dconf update
# dconf update
Copy to Clipboard Copied! Toggle word wrap Toggle overflow - Users must log out and back in again before the system-wide settings take effect.