Como remover completamente uma extensão do shell do gnome?

Question

Estou executando o gnome-shell 3.4.1 no Ubuntu 12.04. Eu tenho tentado várias extensões de link e agora eu quero remover completamente algumas, especificamente para que elas não ocupem espaço em Gnome Tweak Tool.
É seguro excluir apenas a pasta de extensão em ~/.local/share/gnome-shell/extensions/ ?

    

Answer 1

Da página do shell do Gnome Ele diz:

  

Existem alguns erros em GNOME 3.2 que impediram a desinstalação de   funcionando corretamente para algumas extensões. O GNOME Shell 3.2.2.1 foi corrigido   estes problemas. Verifique se o seu sistema está totalmente atualizado se você   ter problemas ao desinstalar extensões.

     

Se você não tem o GNOME Shell 3.2.2.1 e pode ser incapaz de obtê-lo, ou   não tem certeza, você pode desinstalar a extensão manualmente. Remova o   diretório da extensão e, em seguida, reinicie o Shell. A extensão   deve ser armazenado em ~/.local/share/gnome-shell/extensions .   A remoção do diretório não será suficiente: você precisará reiniciar o   Shell para garantir que a extensão seja completamente desinstalada: abra o   execute diálogo com Alt + F2 e digite restart .

Assim, você estará bem removendo a extensão em ~/.local/share/gnome-shell/extensions manualmente.

    

Answer 2

OK, achei. No link , navegue até Installed extensions , onde há um botão X ao lado de cada extensão que o desinstala. Como mencionado na resposta anterior, isso só funciona após a versão 3.2.2.1.