tips: linux 外网设置

sed -i '/^proxy_server/d' /etc/profile
sed -i '/^export http/d' /etc/profile
sed -i '/^PS1/d' /etc/profile
echo "proxy_server=10.90.54.64
export http_proxy=http://\$proxy_server:3128
export https_proxy=https://\$proxy_server:3128" >> /etc/profile
source /etc/profile

test: curl www.baidu.com