Como ativar / desativar uma extensão gnome-shell na linha de comando

Digamos que eu instalei com êxito meu conjunto de extensões gnome-shell. Mas eu quero desativar / desativar a partir da linha de comando. Isso só é possível através da ação do mouse, AFAIK.

Como eu posso fazer isso ?

command-line gnome gnome-shell-extension

— taharqa
fonte

Está bem descrito no wiki do Gnome , citando:

Você pode fazer isso com a chave GSettings, org.gnome.shell.enabled-extensions ou várias ferramentas que manipulam essa chave GSettings, como a GNOME Tweak Tool ou uma versão recente da gnome-shell-extension-tool.

Se você chamar gnome-shell-extension-tool --help, verá que ele é capaz de ativar e desativar extensões pelo nome. Por exemplo, o comando a seguir ativa os temas do usuário:

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

Ah, e você pode obter os nomes de todas as suas extensões instaladas localmente fazendo isso ls ~/.local/share/gnome-shell/extensions. Ele fornecerá entradas do formulário the-name@author.

— Mx
fonte

Não funciona se a extensão não foi instalada. Apenas altera as configurações no dconf.

— wayofthefuture

Nas versões mais recentes (estou em 19.10), gnome-shell-extension-toolfoi substituído pelos mais poderosos gnome-extensions. Isso permite consultas úteis em relação ao ambiente em execução, por exemplo: gnome-extensions listpara obter uma lista de extensões instaladas e gnome-extensions info $extension, onde $extensionpodem ser obtidas na lista

— sxc731 22/11