为 Mix 的 HTTP 下载器设置代理变量
用受支持的 HTTP_PROXY、HTTPS_PROXY 和 NO_PROXY 输入启动 Mix 任务，而不要把这项配置当成 Hex 或 Git 的设置。
对于 Mix 的 HTTP 下载器，请在启动目标任务之前提供代理变量。在 POSIX shell 中：
export HTTP_PROXY=http://proxy.example.net:8080
export HTTPS_PROXY=http://proxy.example.net:8080
export NO_PROXY=localhost,127.0.0.1从 HTTP 代理列表 中选一个地址作为中转，并保留需要的例外。然后在该环境中运行 Mix 任务。Mix 当前的实现会先检查大写名称，再检查对应的小写名称，并配置它专用的 Erlang 配置文件 httpc。
这覆盖由 Mix 管理的下载，例如工具引导安装。Mix 任务也可能把下载交给 Hex 或 Git：Hex 记录自己的 http_proxy 和 https_proxy 配置，Git 依赖则使用 Git 的传输层。它们的设置不属于这个下载器的配置。
一次成功的 Mix 下载只能证明该操作走了这条路径，并不能确定之后每个获取软件包的客户端所用的配置。