Yanıtlar:
Bu alıntı , Gnome wiki'sinde iyi tanımlanmıştır :
Bunu GSettings tuşu, org.gnome.shell.enabled-extensions veya GNOME Tweak Aracı veya gnome-shell-extension-tool'un yeni bir sürümü gibi bu GSettings anahtarını manipüle eden birkaç araçla yapabilirsiniz.
Çağrıyorsanız gnome-shell-extension-tool --help, uzantılarını adlarına göre etkinleştirip devre dışı bırakma yeteneğine sahip olduğunu göreceksiniz. Örneğin, aşağıdaki komut kullanıcı temalarını etkinleştirir:
gnome-shell-extension-tool -e user-theme
Ayrıca, yerel olarak yüklenen tüm uzantıların adlarını yaparak da alabilirsiniz ls ~/.local/share/gnome-shell/extensions. Size formun girişlerini verecektir the-name@author.
gnome-shell-extension-tooldaha güçlü tarafından yerini aldı gnome-extensions. Bu, çalışan env'ye karşı yararlı sorgulara izin verir, örneğin: gnome-extensions listyüklü uzantıların bir listesini almak ve listeden gnome-extensions info $extensionnereden $extensionalınabileceğini