Petr Kovar
pknbe@volny.cz 2014
Jana Svarova
jana.svarova@gmail.com
Schakel GNOME Shell-uitbreidingen in voor alle gebruikers.
Nathan Follens
nfollens@gnome.org 2022.

# Machinebrede uitbreidingen inschakelen

Om uitbreidingen beschikbaar te maken voor alle gebruikers van het systeem, installeert u ze in de map /usr/share/gnome-shell/extensions. Merk op dat nieuw geïnstalleerde machinebrede uitbreidingen standaard uitgeschakeld zijn.

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.

# De sleutel org.gnome.shell.enabled-extensions instellen

Maak een `gebruikers`profiel aan 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`).