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

Question

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

Como posso fazer isso?

    

Answer 1

Ele é 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 o GNOME Tweak Tool ou uma versão recente do gnome-shell-extension-tool. / p>

Se você invocar gnome-shell-extension-tool --help , verá que é capaz de ativar e desativar as 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 ls ~/.local/share/gnome-shell/extensions . Ele fornecerá entradas do formulário the-name@author .