Ubuntu系统代理修改

升到18.04后， vs code无法访问扩展商店，git无法正常clone。尝试过许多的方式，但显然都没有找到症结。

这两者的共同点是，都与网络有关，而我的电脑的确是走了代理的，因此，优先考虑是代理问题。下面是修改方案：

首先，应当保证设置->网络中的proxy为自动的。其他选项可能也可以，我没有尝试。

然后，看一下/etc/enviroment里的内容：

cat /etc/enviroment

PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin"
http_proxy=http://127.0.0.1:12333
https_proxy=“http://127.0.0.1:12333”
socks_proxy=127.0.0.1:1080

用su权限删除下面三行，然后保存。

其次，如果想单独管理apt，cat /etc/apt/apt.conf

Acquire::http::proxy “http://127.0.0.1:12333/”;
Acquire::https::proxy “https://127.0.0.1:12333/”;
Acquire::socks::proxy “socks://127.0.0.1:1080/”;

确定修改完成后，reboot重启电脑（不确定注销是否可以）。

验证下系统还有没有代理：echo $http_proxy
如果显示为空，那么恭喜，修改成功。

git和vs code果然恢复正常！

如果需要短暂的开启代理，则

export http_proxy="http://127.0.0.1:12333"
export https_proxy="http://127.0.0.1:12333"

不过这个修改，仅仅对当前shell有效，即属于局部变量。
如果想在该shell取消代理，则：

unset http_proxy
unset https_proxy