Come attivare / disattivare un'estensione gnome-shell dalla riga di comando

Diciamo che ho installato successivamente il mio set di estensioni gnome-shell. Ma voglio disattivare / disattivare dalla riga di comando. Questo è possibile solo tramite l'azione del mouse, AFAIK.

Come lo posso fare ?

command-line gnome gnome-shell-extension

— Taharqa
fonte

È ben descritto nel wiki di Gnome , citando:

Puoi farlo con la chiave GSettings, org.gnome.shell.enabled-extensions o diversi strumenti che manipolano questa chiave GSettings, come GNOME Tweak Tool o una versione recente di gnome-shell-extension-tool.

Se invochi gnome-shell-extension-tool --help, vedrai che è in grado di abilitare e disabilitare le estensioni con il loro nome. Ad esempio, il comando seguente abilita i temi utente:

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

Oh, e puoi ottenere i nomi di tutte le estensioni installate localmente facendo ls ~/.local/share/gnome-shell/extensions. Ti darà le voci del modulo the-name@author.

— Mx
fonte

Non funziona se l'estensione non è stata installata. Cambia solo le impostazioni in dconf.

— wayofthefuture il

Nelle versioni più recenti (sono il 19.10), gnome-shell-extension-toolè stato sostituito da quello più potente gnome-extensions. Ciò consente utili query sull'ambiente in esecuzione, ad es .: gnome-extensions listper ottenere un elenco di estensioni installate e gnome-extensions info $extension, dove è $extensionpossibile ottenere dall'elenco

— sxc731