Cara mengaktifkan / menonaktifkan ekstensi gnome-shell dari baris perintah

27

Katakanlah saya telah berhasil menginstal set ekstensi gnome-shell saya. Tapi saya ingin menonaktifkan / menonaktifkan dari baris perintah. Ini hanya dimungkinkan melalui aksi mouse, AFAIK.

Bagaimana saya bisa melakukan itu?

taharqa
sumber

Jawaban:

36

Ini dijelaskan dengan baik di wiki Gnome , mengutip:

Anda dapat melakukan ini dengan kunci GSettings, org.gnome.shell.enabled-extensions, atau beberapa alat yang memanipulasi kunci GSettings ini, seperti Alat Tweak GNOME atau versi terbaru dari alat gnome-shell-extension-tool.

Jika Anda memohon gnome-shell-extension-tool --help, Anda akan melihat bahwa itu mampu mengaktifkan dan menonaktifkan ekstensi dengan namanya. Misalnya, perintah berikut ini memungkinkan tema pengguna:

gnome-shell-extension-tool -e user-theme

Oh, dan Anda bisa mendapatkan nama dari semua ekstensi yang Anda instal secara lokal dengan melakukan ls ~/.local/share/gnome-shell/extensions. Ini akan memberi Anda entri formulir the-name@author.

Mx
sumber
2
Tidak berfungsi jika ekstensi belum diinstal. Itu hanya mengubah pengaturan di dconf.
wayofthefuture
1
Dalam versi yang lebih baru (saya di 19.10), gnome-shell-extension-tooltelah digantikan oleh yang lebih kuat gnome-extensions. Ini memungkinkan pertanyaan yang berguna terhadap env yang sedang berjalan, misalnya: gnome-extensions listuntuk mendapatkan daftar ekstensi yang diinstal dan gnome-extensions info $extension, di mana $extensiondapat diperoleh dari daftar
sxc731