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