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

  1. Maak een gebruikersprofiel aan in /etc/dconf/profile/user:

    user-db:user
system-db:local

  2. 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).

  3. Werk de systeemdatabases bij:

    # dconf update