Petr Kovar
pknbe@volny.cz 2014
Erweiterungen der GNOME-Shell für alle Benutzer aktivieren.
Mario Blättermann
mario.blaettermann@gmail.com 2017
Christian Kirbach
christian.kirbach@gmail.com 2017

# Erweiterungen systemweit aktivieren

Um Erweiterungen allen Benutzern des Systems zugänglich zu machen, installieren Sie diese in den Ordner /usr/share/gnome-shell/extensions. Beachten Sie, dass systemweit neu installierte Erweiterungen in der Voreinstellung zunächst deaktiviert sind. Um die Erweiterungen für alle Benutzer zu aktivieren, muss der Schlüssel `org.gnome.shell.enabled-extensions` gesetzt werden.

# Setzen des Schlüssels org.gnome.shell.enabled-extensions

Legen Sie ein `Benutzer`profil an unter /etc/dconf/profile/user:

user-db:user system-db:local

Erstellen Sie eine `local`-Datenbank für systemweite Einstellungen in /etc/dconf/db/local.d/00-extensions:

[org/gnome/shell] # Alle Erweiterungen auflisten, die für alle Benutzer aktiviert werden sollen enabled-extensions=['meine_erweiterung1@meinname.example.com', 'meine_erweiterung2@meinname.example.com']

Der Schlüssel `enabled-extensions` gibt die aktivierten Erweiterungen anhand der UUIDs der Erweiterungen an (`meine_erweiterung1@meinname.example.com` und `meine_erweiterung2@meinname.example.com`).