Gnome 3.10 parece não desinstalar ...
Eu o instalei usando o método de aqui
sudo add-apt-repository ppa:gnome3-team/gnome3-next
sudo apt-get update
sudo apt-get install gnome-shell ubuntu-gnome-desktop
(Possivelmente - acabei de copiá-los do link do OP - de @Wilf)
sudo add-apt-repository ppa:gnome3-team/gnome3-staging
sudo add-apt-repository ppa:gnome3-team/gnome3
sudo apt-get update && sudo apt-get dist-upgrade
sudo apt-get install gnome-weather gnome-music gnome-maps cheese gnome-documents
Ele também tinha essas instruções de desinstalação:
sudo ppa-purge ppa:gnome3-team/gnome3-next
sudo ppa-purge ppa:gnome3-team/gnome3-staging
sudo ppa-purge ppa:gnome3-team/gnome3
sudo apt-get remove gnome-shell ubuntu-gnome-desktop
Eu tentei todas as soluções que encontrei. No entanto, partes dela parecem permanecer, não importa o quê. ppa-purge não consegue encontrar nenhum pacote para limpar etc etc ..