我将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")