☰

我如何添加“gnome-shell-extensions” PPA？

tag-icon • tag-icon 12.04 apt ppa
我如何添加“gnome-shell-extensions” PPA？

当我尝试添加任何ppa 使用“apt”时出现以下错误：

$ sudo add-apt-repository ppa:gnome-shell-extensions

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 80, in get_ppa_info_from_lp
    curl.perform()
pycurl.error: (7, "couldn't connect to host")

尽管如此，apt 运行良好，我可以安装/删除/升级应用程序，而且 curl 也正常，我已经检查过了……我的互联网连接也很好，我可以使用任何使用互联网的应用程序。我没有使用任何代理或防火墙。

在我从 Ubuntu 11.10 更新到 12.04 之前一切都运行正常。

顺便提一句：我知道我可以手动添加条目，但这种情况真的很烦人。我在谷歌上搜索了很长时间，但没有结果:(

有什么想法吗？谢谢 :)

答案1

好的！现在，所有这些混乱都有了一个绝妙的解释！我不知道如何以及为什么，但在安装 ubuntu 12.04 后，gnome 会使用代理设置某些应用程序的代理，例如 ftp。现在，运行 gconf-editor 并转到 system->proxy 并删除所有代理条目。应该可以 :) 我知道自己回答这个问题很愚蠢，但也许这对其他人有用 :) 干杯！

答案2

添加 PPA 时，sudo add-apt-repository您需要指定整个地址。因此，对于您来说，它将是sudo add-apt-repository ppa:LP-NAME/PPA-NAME。

在您的示例中，您忘记了用户的名称。

相关内容