公司上网是使用了代理的，在terminal里更新源时，无法连接。

解决办法，系统设置-》网络-》网络代理-》应用到整个系用

that's at all