在公司使用Ubuntu最头疼的事情就是代理服务器的问题。当我们使用add-apt-repository添加源的时候,因为公司要通过代理服务器才能访问网络,所以总是会报出如下的错误:
<urlopen error [Errno -2] Name or service not known>
不管你如何更改代理设置,即使export https_proxy都不行。
下面是解决方法,至少在我的环境里是可以的:
因为ppa是https的,所以在设置代理时要设置https_proxy,如果不放心,再加一行,将http_proxy也设置就可以了。