Petr Kovar
pknbe@volny.cz 2014
Jana Svarova
jana.svarova@gmail.com
Mengaktifkan ekstensi Shell GNOME untuk semua pengguna.
Andika Triwidada
andika@gmail.com 2020-2024

# Mengaktifkan ekstensi di seluruh mesin

Untuk membuat ekstensi tersedia bagi semua pengguna pada sistem, pasang mereka di direktori /usr/share/gnome-shell/extensions. Perhatikan bahwa ekstensi di seluruh mesin yang baru dipasang dinonaktifkan secara baku.

Anda perlu mengatur kunci `org.gnome.shell.enabled-extensions` agar mengatur ekstensi diaktifkan baku. Namun, saat ini tidak ada cara untuk mengaktifkan ekstensi tambahan bagi pengguna yang telah masuk. Ini tidak berlaku untuk pengguna yang sudah ada yang telah memasang dan mengaktifkan ekstensi GNOME mereka sendiri.

# Mengatur kunci org.gnome.shell.enabled-extensions

Buat profil `user` di /etc/dconf/profile/user:

user-db:user system-db:local

Buat basis data `local` untuk pengaturan di seluruh mesin dalam /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']

Kunci `enabled-extensions` menentukan ekstensi yang diaktifkan menggunakan UUID ekstensi (`myextension1@myname.example.com` dan `myextension2@myname.example.com`).