Ich benutze Ubuntu 12.04 mit Gnome 3.4.1.
Ich habe versucht, ohne Erfolg auf Gnome 3.6 zu aktualisieren.
Ich habe dies zu meiner /etc/apt/sources.list
Datei hinzugefügt :
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Dann rannte ich los
sudo apt-get update
sudo apt-get upgrade
Dann das System neu gestartet.
Aber wenn ich renne:
gnome-shell --version
Es wird weiter gedruckt
GNOME Shell 3.4.1
Was kann ich tun ?
Ich muss auf 3.6 aktualisieren, um eine Erweiterung verwenden zu können, mit der der App-Switcher nur zwischen Apps im aktuellen Arbeitsbereich wechseln kann.
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")