Olá, olhe para esta página , que contém extensões do gnome pacote para o Ubuntu 12.10.
Estou procurando uma maneira de instalar a extensão User-Theme no Ubuntu Quantal com o gnome 3.6 e, do meu ponto de vista, você precisa instalar o pacote gnome-shell-extensions.
Não consigo encontrar qualquer versão compatível deste em qualquer lugar que não me dê erros de dependência ou quebre meu sistema.
Se alguém souber como me ajudar, por favor me avise.
Você pode instalar todas as extensões desejadas no link , basta navegar nele com o firefox ou o chrome / cromo e inverta o interruptor para "ON".
Desde hoje, até a extensão do tema do usuário está funcionando para mim no quantal.
Os pacotes para quantal não funcionaram para mim, e as configurações avançadas do gnome agora são chamadas de gnome tweak tool.