Uso Ubuntu 12.04 con Gnome 3.4.1.
Ho provato ad aggiornare a Gnome 3.6 senza alcun risultato.
Ho aggiunto questo al mio /etc/apt/sources.list
file:
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Poi ho corso
sudo apt-get update
sudo apt-get upgrade
Quindi riavviato il sistema.
Ma quando corro:
gnome-shell --version
Continua a stampare
GNOME Shell 3.4.1
Cosa posso fare ?
Devo eseguire l'aggiornamento a 3.6 per poter utilizzare un'estensione che consente al commutatore di app di passare solo tra le app nell'area di lavoro corrente.
Traceback (most recent call last): File "/usr/bin/add-apt-repository", line 125, in <module> ppa_info = get_ppa_info_from_lp(user, ppa_name) File "/usr/lib/python2.7/dist-packages/softwareproperties/ppa.py", line 84, in get_ppa_info_from_lp curl.perform() pycurl.error: (7, "couldn't connect to host")