3
rated 0 times
[
3]
[
0]
/ answers: 1 / hits: 22442
/ 2 Years ago, thu, august 11, 2022, 10:23:52
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.
More From » 12.04