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-tool
daha güçlü tarafından yerini aldı gnome-extensions
. Bu, çalışan env'ye karşı yararlı sorgulara izin verir, örneğin: gnome-extensions list
yüklü uzantıların bir listesini almak ve listeden gnome-extensions info $extension
nereden $extension
alınabileceğini