设置HTTP代理

问题

在 Ubuntu 设置中已经使用了手动代理，但是在终端中无效

解决方法

Ubuntu 的“设置 → 网络 → 代理”只会影响：

• GNOME 桌面环境中的 图形化应用程序（如 Firefox、Software Center）
• 某些支持 GNOME D-Bus 代理自动检测的 GUI 软件

但它不会自动影响：

• 命令行工具（如 curl, wget, git, pip, requests, huggingface_hub）
• Python/Conda 脚本运行环境
• 后台服务进程（systemd 等）

这些程序需要通过环境变量显式获取代理设置，命令如下：

export HTTP_PROXY=http://127.0.0.1:7890
export HTTPS_PROXY=http://127.0.0.1:7890

但是上述命令只是临时的，只对当前终端有效。可以使用以下命令写入配置文件：

echo "export HTTP_PROXY=http://127.0.0.1:7890" >> ~/.bashrc
echo "export HTTPS_PROXY=http://127.0.0.1:7890" >> ~/.bashrc
source ~/.bashrc