Я использую Ubuntu 12.04 с Gnome 3.4.1.
Я пытался перейти на Gnome 3.6, но безрезультатно.
Я добавил это в мой /etc/apt/sources.listфайл:
deb http://ppa.launchpad.net/gnome3-team/gnome3/ubuntu precise main
Потом я побежал
sudo apt-get update
sudo apt-get upgrade
Затем перезапустил систему.
Но когда я бегу:
gnome-shell --version
Продолжает печатать
GNOME Shell 3.4.1
Что я могу сделать ?
Мне нужно обновить до 3.6, чтобы иметь возможность использовать расширение, которое позволяет переключателю приложений переключаться только между приложениями в текущей рабочей области.
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")