Petr Kovar
pknbe@volny.cz 2014
Jana Svarova
jana.svarova@gmail.com
Erweiterungen der GNOME-Shell für alle Benutzer aktivieren.
Mario Blättermann
mario.blaettermann@gmail.com 2017, 2019
Christian Kirbach
christian.kirbach@gmail.com 2017-2024
Tim Sabsch
tim@sabsch.com 2019, 2023
Jürgen Benvenuti
gastornis@posteo.org 2022, 2023

# 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.

Sie müssen den Schlüssel `org.gnome.shell.enabled-extensions` setzen, um die vorgegebenen aktivierten Erweiterungen festlegen zu können. Dennoch gibt es gegenwärtig keine Möglichkeit, zusätzliche Erweiterungen für jene Benutzer zu aktivieren, die bereits angemeldet sind. Dies gilt nicht für Benutzer, die ihre eigenen Erweiterungen installiert und aktiviert haben.

# 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`).