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")
Pour mettre à jour vers Gnome 3.6, vous devez ajouter ces deux PPA:
Exécutez ensuite:
dist-upgrade
commande est nécessaire car les packages qui ne sont pas installés doivent être extraits en tant que dépendances pour que la mise à niveau fonctionne. Cependant, cela permet également de supprimer des packages - ce qui pourrait également être nécessaire - il est donc important de regarder quels packages, le cas échéant, ils seront désinstallés.la source