Você está logado no GNOME Shell? Além disso, você instalou alguma extensão?
Até onde eu sei, as extensões só aparecem quando você está logado no GNOME Shell. No Unity, por exemplo, a guia "Extensões" está vazia.
Eu segui as etapas postadas aqui com intenções de instalar um tema personalizado baixado do site anterior.
Quando chego ao passo:
Agora, você precisa fazer logout e voltar para a extensão a ser escolhida pelo sistema e, em seguida, ativar a extensão do Extensions 'no aplicativo "Configurações avançadas / Ferramenta Tweak do GNOME".
Eu abro a Ferramenta GNOME Tweak e navegue até a guia Shell Extensions, mas obtenha o seguinte:
O que estou fazendo de errado? Não consigo ver as opções necessárias para ativar os temas de extensão de shell.
Você está logado no GNOME Shell? Além disso, você instalou alguma extensão?
Até onde eu sei, as extensões só aparecem quando você está logado no GNOME Shell. No Unity, por exemplo, a guia "Extensões" está vazia.
Eu estava tendo o mesmo problema (a guia de extensão do shell estava em branco após a instalação de várias extensões do shell do gnome, fallback de sessão do gnome, sessão clássica do gnome e ferramenta gnome tweak).
Depois disso, eu tive três tipos de sessão gnome para escolher: Gnome, Gnome classic e Gnome classic (sem efeitos).
O problema no meu caso foi o tipo de sessão que eu deixei escolhido. Eu estava logando no Ubuntu em uma sessão "Gnome classic" em vez de fazer login em uma sessão "Gnome".
Acho que foi isso que Alin Andrei quis dizer com sua resposta.
O registro na sessão "Gnome" faz com que minha área de trabalho se pareça com a imagem do link abaixo.
Espero que isso ajude você.
Elias
Tags gnome themes 11.10 gnome-tweak-tool