命令行切换代理(Bash 与 PowerShell)
命令行工具(curl、wget、git 等)走代理靠的是一组环境变量:http_proxy / https_proxy / all_proxy。手动 export 一次只管当前会话,端口一变就得重敲,关代理又得逐个 unset,繁琐还容易漏。
把开关封装成一对函数写进 shell 配置文件,启动即常驻,敲一个命令完成切换。Bash 与 PowerShell 各一份对称实现,共同点三个:默认端口集中在顶部、大小写变量都设、开启后立即验证连通性并在失败时自动回滚。