Em uma nova instalação do Ubuntu (12.04, 64 bits), após a instalação do gnome-shell, tentei instalar algumas extensões do extensions.gnome.org, mas não obtive resultado. Eu tentei com o Firefox e o Chromium e tive o mesmo problema.
Abra qualquer página de extensão em extensions.gnome.org.
Mude a extensão para "ON". Concorde com a confirmação sobre a instalação.
Nada acontece e nada foi instalado (
.local/share/gnome-shell/extensions
está vazio).
Eu verifiquei .xsession-errors, console javascript do Firefox, erros do console gnome-shell (Alt-F2 + espelho). Não há nenhum rastro de erro.