Chapter 14. 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/

   Copy to Clipboard

   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>/

   Copy to Clipboard

   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']

   Copy to Clipboard

   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

   Copy to Clipboard

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

   Copy to Clipboard

   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

   Copy to Clipboard

3. Apply the changes to the system databases:

   # dconf update

   Copy to Clipboard