本文记录了 Windows 和 Linux 平台上常用软件和开发工具的代理配置方法,镜像源优先使用中科大源,代理默认本地代理,端口号为 7890。

Windows

Winget

winget 使用中科大镜像 1,需要管理员权限:

1
2
winget source remove winget
winget source add winget https://mirrors.ustc.edu.cn/winget-source --trust-level trusted

git

1
2
git config --global https.proxy http://127.0.0.1:7890
git config --global https.proxy http://127.0.0.1:7890

WSL

wsl 的配置文件默认路径为 %userprofile/.wslconfig,修改该文件为以下内容,就可以在 wsl 中使用 Windows 代理。

1
2
3
[experimental]
networkingMode=mirrored
autoProxy=true

Anaconda/ Miniconda

Linux

git

1
2
git config --global https.proxy http://127.0.0.1:7890
git config --global https.proxy http://127.0.0.1:7890

apt

修改镜像源:

Ubuntu 24.04 起默认预装的系统中 APT 的系统源配置文件不再是传统的 /etc/apt/sources.list,而是使用新的 DEB822 格式,存储在 /etc/apt/sources.list.d/ubuntu.sources,修改该文件(需要 sudo)为以下内容:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
Types: deb
URIs: https://mirrors.ustc.edu.cn/ubuntu
Suites: noble noble-updates noble-backports
Components: main restricted universe multiverse
Signed-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg

Types: deb
URIs: https://mirrors.ustc.edu.cn/ubuntu
Suites: noble-security
Components: main restricted universe multiverse
Signed-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg

然后执行 sudo apt update 以更新索引。

设置代理:
/etc/apt/apt.conf 文件中添加如下内容:

1
2
Acquire::http::Proxy "http://127.0.0.1:7890";
Acquire::https::Proxy "http://127.0.0.1:7890";  

参考文档