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

  1. Buat profil user di /etc/dconf/profile/user:

    user-db:user
system-db:local

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

  3. Perbarui basis data sistem:

    # dconf update