Na página shell do Gnome, ele diz:
Existem alguns erros GNOME 3.2
que impediram a desinstalação de funcionar corretamente em algumas extensões. O GNOME Shell 3.2.2.1 corrigiu esses problemas. Verifique se o seu sistema está totalmente atualizado se você estiver com problemas para desinstalar extensões.
Se você não possui o GNOME Shell 3.2.2.1 e pode não conseguir obtê-lo ou não tem certeza, pode desinstalar a extensão manualmente. Remova o diretório da extensão e reinicie o Shell. A extensão deve ser armazenada em ~/.local/share/gnome-shell/extensions
. Remover o diretório não será suficiente: você precisará reiniciar o Shell para garantir que a extensão seja completamente desinstalada: abra a caixa de diálogo de execução com Alt + F2 e digite restart
.
Então, você ficará bem removendo a extensão ~/.local/share/gnome-shell/extensions
manualmente.