如何设置代理使用apt-add-repository
问题的起源
我目前上国际网时，需要使用代理服务器。git我已经调教好代理服务器的设置了，用chrome上网时用SwitchySharp插件也很方便。老大难就是apt-add-repository了。
碰巧我现在想要解决两个问题：
所以狠下心，想把这个问题解决掉。
问题的解决
查到这个帖子的王牌答案后，才发现非常简单：
export http_proxy=http://proxy:port
export https_proxy=http://proxy:port
sudo -E apt-add-repository ppa:linaro-maintainers/toolchain
其中，sudo -E是让sudo使用环境变量，具体可以见这里。
如果你的代理服务器需要身份验证的话，可以参考这里的例子：
export http_proxy=http://deepak:Deepak%40123@12.1.1.1:3128
这里使用了转义符%40来表示密码中实际出现的@。
声明: 本文采用 BY-NC-SA 协议进行授权. 转载请注明转自: 如何设置代理使用apt-add-repository