Die Leute hatten mich gewarnt, dass ppa-Repositorys nicht zuverlässig sind und mein System beschädigen können.
Auch Themen ohne ppa wären schön zu wissen, wie man sie mit Unity und Gnome Shell installiert.
Gibt es eine Möglichkeit, die Gnome-Shell und ihre Erweiterung ohne ppa-Repositorys zu installieren?
This is how I did it on 14.04 recently. You could try it in 13.10, it might work the same.
$ sudo apt-get install gdm gnome-shell ubuntu-gnome-desktop
Note, if you want to keep your ability to run unity, you might want to skip installing gdm. I've had better experience going full gnome, all the time and just using gdm, but gdm is not compatible with unity.