That works! After installing that PPA, I was able to install both gnome-session and gnome-shell at the same time, which was what was needed. I also manually installed mutter, but I don't know if I needed to do that.

Reply via email to