在linux terminal中使用代理
方法一：
terminal中输入 export http_proxy= "http://web-proxy.xxxxxxxx.com"
方法二：
.bashrc 中添加 export http_proxy= "http://web-proxy.xxxxxxxx.com"
然后执行.bashrc
然后新建的terminal就export了http proxy