找到问题答案,apt-get已经不读取http_proxy.需要使用这个设置
方法二:
这种方法要用到/etc/apt/文件夹下的apt.conf文件。如果您希望apt-get(而不是其他应用程序)一直使用http代理,您可以使用这种方式。
注意:某些情况下,系统安装过程中没有建立apt配置文件。下面的操作将视情况修改现有的配置文件或者新建配置文件。
sudo gedit /etc/apt/apt.conf在您的apt.conf文件中加入下面这行(根据你的实际情况替换yourproxyaddress和proxyport)。
Acquire::http::Proxy "http://yourproxyaddress:proxyport";保存apt.conf文件
引用自
通过三种方法为apt-get设置http代理服务_linux_网管之家
ping不同就对了,因为走的不是http协议,
setting→network→proxy,点进去你就知道怎么办了,不止http https, socket之类的也可以设置。