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