J'utilise Ubuntu 12.04 avec Gnome 3.4.1.
J'ai essayé de passer à Gnome 3.6 en vain.
J'ai ajouté ceci à mon /etc/apt/sources.list
dossier:
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Puis j'ai couru
sudo apt-get update
sudo apt-get upgrade
Puis redémarré le système.
Mais quand je cours:
gnome-shell --version
Il continue d'imprimer
GNOME Shell 3.4.1
Que puis-je faire ?
J'ai besoin de mettre à niveau vers la version 3.6 pour pouvoir utiliser une extension qui permet au sélecteur d'applications de basculer uniquement entre les applications dans l'espace de travail actuel.
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")