Saya suka menjalankan beberapa skrip untuk menginstal paket secara otomatis dan melakukan beberapa konfigurasi pada instalasi OS baru. Saya menggunakan gnome shell dengan beberapa ekstensi dan berpikir untuk meningkatkan skrip saya untuk mengkonfigurasinya.
Saya biasanya mengkonfigurasi ekstensi menggunakan gnome-shell-extension-prefs atau dconf-editor dan saya tahu cara mengedit skema lain dari baris perintah. Contoh:
gsettings set org.gnome.desktop.background picture-options stretched
Tetapi, meskipun saya dapat menemukan dan mengedit ekstensi yang diinstal di bawah org.gnome.shell.extensions menggunakan dconf-editor, saya tidak dapat mengaksesnya menggunakan gsettings karena mereka tampaknya tidak memiliki skema yang ditugaskan:
No such schema 'org.gnome.shell.extensions.extname'
Satu-satunya ekstensi yang dapat diakses dengan gsettings tampaknya adalah ekstensi yang sudah diinstal sebelumnya.
Jadi, pertanyaannya adalah, bagaimana saya bisa mengkonfigurasi ekstensi yang diinstal dari baris perintah? Apakah ada cara untuk menetapkan pengaturan skema yang disusun ~/.local/share/gnome-shell/extensions/
? Mungkin saya melihat ke arah yang salah.
Lingkungan: Ubuntu Gnome 14.04 (Gnome Shell 3.10.4)
Terima kasih sebelumnya.