Ubuntu使用add-apt-repository增加源时如何设置代理服务器

在公司使用Ubuntu最头疼的事情就是代理服务器的问题。当我们使用add-apt-repository添加源的时候，因为公司要通过代理服务器才能访问网络，所以总是会报出如下的错误：

<urlopen error [Errno -2] Name or service not known>
不管你如何更改代理设置，即使export https_proxy都不行。

下面是解决方法，至少在我的环境里是可以的：

$sudo bash #export https_proxy=http://host:port/ #add-apt-repository ppa:<whatever>

因为ppa是https的，所以在设置代理时要设置https_proxy，如果不放心，再加一行，将http_proxy也设置就可以了。