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