Eu encontrei o caminho
sudo rm -R /usr/share/gnome-shell/extensions/[email protected]/
Por algum motivo, ele é instalado em todo o sistema
Tenho o Ubuntu 17.10, com o GNOME Shell, e instalei esta extensão . Agora não consigo desativá-lo ou desinstalá-lo.
Eu tentei desinstalá-lo do site extensions.gnome.org (Instalado Extensões - > clicando na cruz vermelha), a extensão ainda está lá.
Eu tentei remover $HOME/.local/share/gnome-shell/extensions/windowList e reiniciar (abra a caixa de diálogo de execução com Alt + F2 e digite restart), a extensão ainda está lá.
Como posso removê-lo?
Eu encontrei o caminho
sudo rm -R /usr/share/gnome-shell/extensions/[email protected]/
Por algum motivo, ele é instalado em todo o sistema