为了学习Slam真的是又倒腾了一遍Linux系统
实验室的网络是通过代理连接的。
发现两个问题
- Github 通过ssh 无法连接
- 无法使用apt-get install类似指令
原因似乎是因为proxy只对于网页有效，对于命令行是没有效果的，因此我们只能单独设置它们的proxy
解决方案
Github 通过ssh 无法连接
getdit ~/.bashrc
进入后添加
export http_proxy=http://[Proxy]:[Port]
退出后就可以啦
无法使用apt-get install类似指令
全局设置
git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080
之后再检查一遍，看看与输入的是否有误
git config --global --get http.proxy
当不再需要github proxy时，只需要
git config --global --unset http.proxy
