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 /etc/apt/sources.list
file:
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:
gnome-shell --version
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.
First you need to remove the line that you added to the sources.list. PPAs are added differently. From a terminal add the PPA by doing:
sudo add-apt-repository ppa:gnome3-team/gnome3
andsudo add-apt-repository ppa:ricotz/testing
. Then runsudo apt-get update and sudo apt-get upgrade
.To update to Gnome 3.6, you need to add these two PPAs:
Then run:
dist-upgrade
command is needed because packages that aren't installed must be pulled in as dependencies for the upgrade to work. However, this also makes it possible for packages to be removed--which might also be necessary--so it's important to look at what packages, if any, it says will be uninstalled.