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