Agora estou usando o GNOME Shell 3.5.4 no Ubuntu 12.04.1 Desktop amd64
frederick@Frederick-Pasokon:~$ gnome-shell --version
GNOME Shell 3.5.4
Quando visito o site extensions.gnome.org , normalmente é possível exibir o on | off botão. E se eu deslizar o botão para on , ele abrirá uma janela para perguntar se eu quero instalar a extensão ou não.
Depois que cliquei em yes , nada aconteceu. Se eu pressionar F5 , o botão será redefinido para off , já que não fiz nada.
Tentar instalar algumas das extensões criará uma pasta em ~/.local/share/gnome-shell/extensions , mas está vazia, sem nada dentro dela.