一般来说,apt 通过换源即可获得不错的体验,但有的时候不得不加入一些没被镜像的国外源例如 PPA
,因此不得不琢磨怎么在 apt 中配置代理。
apt 不会从环境变量获取代理配置,需要手动其配置文件 /etc/apt/apt.conf
中添加:
|
|
例如,对于不需要认证的代理,在 /etc/apt/apt.conf
添加以下内容:
|
|
一般来说,apt 通过换源即可获得不错的体验,但有的时候不得不加入一些没被镜像的国外源例如 PPA
,因此不得不琢磨怎么在 apt 中配置代理。
apt 不会从环境变量获取代理配置,需要手动其配置文件 /etc/apt/apt.conf
中添加:
|
|
例如,对于不需要认证的代理,在 /etc/apt/apt.conf
添加以下内容:
|
|