add-apt-repository设置代理

在使用add-apt-repository或apt-get过程中需要配置代理安装

但是,很多情况下export http_proxy & https_proxy不管用

解决方法

1
2
3
export http_proxy=http://<proxy>:<port>
export https_proxy=http://<proxy>:<port>
sudo -E add-apt-repository ppa:linaro-maintainers/toolchain

其实根本原因是,设置代理的用户和使用命令的用户不是同一个

可以用-E告诉sudo保留当前的环境变量