O GNOME Shell é fornecido nativamente (pacote gnome-shell
) no Oneiric, assim você não precisa usar um PPA para obtê-lo, e isso não é recomendado, a menos que o PPA esteja fornecendo uma versão alternativa que você conhece necessidade.
Eu recomendo remover o instrumentoroberto / gnome3 PPA , executando esses comandos em o terminal:
sudo apt-get update
sudo apt-get install ppa-purge
sudo ppa-purge ppa:ferramroberto/gnome3
Verifique se gnome-shell
ainda está instalado. Deve ser.
apt-cache policy gnome-shell
Se ainda não estiver instalado, instale-o (isso agora será dos repositórios oficiais):
sudo apt-get update; sudo apt-get install gnome-shell
Se não for possível encontrar gnome-shell
para instalá-lo, provavelmente você não terá o repositório Universe habilitado. Para ativá-lo, abra a janela Fontes de software ( Edit
> Software Sources
no Centro de software ou Settings...
no Gerenciador de atualizações strong>, ou Alt + F2 e execute o comando software-properties-gtk
) e marque a caixa com o nome Community-maintained Open Source software (universe)
. Em seguida, clique em Close
.