Chapter 16. Enabling and enforcing GNOME Shell extensions

Procedure

1. Download the extension archive from the GNOME Extensions website.

2. Extract the archive into the /usr/share/gnome-shell/extensions/ directory:

   # unzip -q <extension-file.zip> -d /usr/share/gnome-shell/extensions/

   Replace <extension-file.zip> with the name of the extension zip file.

3. Adjust the permissions to ensure that the extension files are readable and executable by everyone:

   # chmod -R 755 /usr/share/gnome-shell/extensions/<extension-directory>/

   Replace <extension-directory> with the name of the extension directory.

4. Create a new /etc/dconf/db/local.d/00-extensions file with the following content:

   [org/gnome/shell]
   enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']

   Replace the UUIDs (myextension1@myname.example.com, myextension2@myname.example.com) with the ones you want to enable. You can find the UUID of an extension on its GNOME Shell Extensions website page.

5. Apply the changes to the system databases:

   # dconf update

Procedure

1. Create a new /etc/dconf/db/local.d/00-extensions file with the following content:

   [org/gnome/shell]
   enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']
   development-tools=false

   Replace the UUIDs (myextension1@myname.example.com, myextension2@myname.example.com) with the ones you want to enable. You can find the UUID of an extension on its GNOME Shell Extensions website page.

2. To prevent users from changing these settings, create a new /etc/dconf/db/local.d/locks/extensions file with the following content:

   /org/gnome/shell/enabled-extensions
   /org/gnome/shell/development-tools

3. Apply the changes to the system databases:

   # dconf update