O GNOME 3.12 não está disponível por padrão nos repositórios do Ubuntu para o 14.04. Você deve ter instalado o GNOME 3.12 do PPA de preparo da equipe do GNOME . Eles avisam que:
Os pacotes aqui foram considerados não prontos para uso geral, eles sabiam erros e / ou regressões, às vezes de natureza crítica. Principalmente as coisas devem funcionar sem problemas, mas esteja preparado para usar o ppa-purge, quando você encontrar problemas!
Portanto, você deve relatar um bug sobre ele, conforme mencionado na página do Launchpad.
No entanto, a solução alternativa que você pode tentar é a seguinte:
-
Ative todas as extensões que você deseja ativar na inicialização.
-
Em seguida, execute o seguinte comando:
$ gsettings get org.gnome.shell enabled-extensions
Isso listaria todas as extensões ativadas atualmente. Por exemplo, a saída para mim é:
['[email protected]', '[email protected]', '[email protected]']
-
Agora, crie um arquivo chamado
enable_gnome_extensions.sh
dentro da pasta~/bin
com o seguinte texto:gsettings set org.gnome.shell enabled-extensions "<output_of_earlier_command_listing_enabled_extensions>"
Por exemplo, eu colocaria a seguinte linha para minhas extensões ativadas:
gsettings set org.gnome.shell enabled-extensions "['[email protected]', '[email protected]', '[email protected]']"
-
Torne este arquivo executável com o seguinte comando:
$ chmod +x ~/bin/enable_gnome_extensions.sh
-
Adicione este arquivo aos seus aplicativos de inicialização para que ele seja executado no login. Siga esta resposta para saber como fazer . O "comando" seria o caminho para esse arquivo.
Reinicialize para testar se funciona.