Yo uso Ubuntu 12.04 con Gnome 3.4.1.
He intentado actualizar a Gnome 3.6 en vano.
Agregué esto a mi /etc/apt/sources.list
archivo:
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Entonces corrí
sudo apt-get update
sudo apt-get upgrade
Luego reinició el sistema.
Pero cuando corro:
gnome-shell --version
Continúa imprimiendo
GNOME Shell 3.4.1
Que puedo hacer ?
Necesito actualizar a 3.6 para poder usar una extensión que permita que el selector de aplicaciones solo cambie entre aplicaciones en el espacio de trabajo actual.
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")