O gnome no menu de login é gnome-shell . Você precisa ter gnome-shell-extensions-common
e gnome-shell-user-theme
instalado. Existem várias maneiras de fazer isso, uma é usar
para adicionar as diferentes extensões da sua versão do GS. Outra maneira é adicionar um dos PPAs que estão disponíveis! como os do webupd8 ...
sudo add-apt-repository ppa:webupd8team-gnome3/oneiric
nota do editor: onírico é EOL; adicionar este repositório provavelmente irá quebrar o seu sistema
Se as extensões não estiverem sendo carregadas corretamente, verifique se a extensão e a versão do gnome-shell são as mesmas :-)
sudo -H gedit /usr/share/gnome-shell/extensions/[email protected]/metadata.json
e procure por shell version
. Você pode editar a versão da extensão para corresponder à sua própria, por exemplo %código%.