I use Ubuntu 12.04 with Gnome 3.4.1.
I've tried to upgrade to Gnome 3.6 to no avail.
I added this to my
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Then I ran
sudo apt-get update sudo apt-get upgrade
Then restarted the system.
But when I run:
It continues to print
GNOME Shell 3.4.1
What can I do ?
I need to upgrade to 3.6 in order to be able to use an extension that allows the app switcher to only switch between apps in the current workspace.