Estou usando o Ubuntu 12.10 com o Gnome-Shell do gnome-3-team/gnome3 ppa.
Isso está funcionando muito bem e eu tenho a configuração do meu tema personalizado.
O único problema que estou encontrando é que o Gnome-Shell parece esquecer o tema após cada reinicialização.
Se eu abrir gnome-tweak-tool , o tema correto é selecionado, no entanto, ele não será aplicado; se eu selecionar qualquer outra coisa e, em seguida, selecionar novamente o tema, ele será aplicado corretamente.
O que poderia estar causando isso? Ele não parece estar relacionado a um tema específico, já que estou recebendo o problema com Mountain Shell e Elegance Colours .
Depois de uma depuração rápida de desativar seletivamente as extensões, a primeira tentativa foi corrigir / ajustar o tema original do gnome-shell.
Especificamente, a instalação da extensão remove os cantos arredondados .
Enquanto alternava essa extensão, notei que toda vez que eu a reativava, meu tema de shell voltava ao padrão. então desinstalar faz o truque.