Eu não posso usar o usuário gnome-shell-extensions-user-theme porque não há nenhum botão na ferramenta tweak para habilitar extensões! Eu completamente desinstalado e reinstalado o gnome-tweak-tool, nenhuma diferença. Alguma sugestão? Bruce.
Eu tive o mesmo problema. Parece que o arquivo metadata.json tem uma versão incorreta do shell. Pelo menos para o Ubuntu 11.10. Para resolver o problema, tive que:
"shell-version": [ "3.3.2" ] to "shell-version": [ "3.2" ],
Esta é uma resposta estranha. Após uma instalação limpa do Ubuntu 13.04, percebi que nem o gnome.extensions.org funciona (todas as extensões estão esmaecidas), nem a ferramenta Gnome Tweak funcionou.
Eu tentei seguir muitos passos (e revertê-los). O mais simples era voltar para a página de login e mudar o gerenciador de desktop do Ubuntu padrão para o Gnome. Isso corrigiu todos os problemas.
Espero que isso ajude.
Tive o mesmo problema há 10 minutos: D. Este comando muito breve salvou o dia:
sudo apt-get remove fglrx*
Ele limpa todas as instalações e referências para o driver gráfico proprietário e, quando você reinicia o gnome-shell, a aceleração 3D é reativada e o gnome-shell e outros aplicativos que requerem a aceleração 3D são executados adequadamente.