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?
sumber
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?
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
.
gnome-shell-extension-tool
telah digantikan oleh yang lebih kuatgnome-extensions
. Ini memungkinkan pertanyaan yang berguna terhadap env yang sedang berjalan, misalnya:gnome-extensions list
untuk mendapatkan daftar ekstensi yang diinstal dangnome-extensions info $extension
, di mana$extension
dapat diperoleh dari daftar