Удалить проблему Gnome 3.10

Gnome 3.10 просто не удаляется ...

Я установил его, используя метод из здесь

sudo add-apt-repository ppa:gnome3-team/gnome3-next
sudo apt-get update
sudo apt-get install gnome-shell ubuntu-gnome-desktop

(возможно - я просто скопировал их по ссылке ОП - из @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

У него также были следующие инструкции по удалению:

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

Я пробовал каждое решение, на которое наткнулся. Тем не менее, его части, кажется, остаются не смотря ни на что. ppa-purge не может найти пакеты для очистки и т. д. и т. д.