Cabal 的 HTTP 传输选择改变了代理设置该放在哪里

cabal-install 里的代理问题，可能是关于所选 HTTP 传输方式的问题。Cabal 记录了传输方式的选择，而外部 curl 或 Wget 下载器会带来该工具自己的代理接口。

在寻找通用的 --no-proxy 开关之前，先检查已安装的 Cabal 版本和当前生效的传输方式。然后通过所选下载器文档中说明的环境变量或选项来配置请求。对于经由允许的公共 HTTP 中间人访问的公共软件包源，HTTP 代理列表提供了端点候选。

不要把 export http_proxy=... 这样的 shell 语句写进 Cabal 的配置文件。该文件有自己的语法，它不会作为你的终端 shell 来执行。

还要把仓库地址和代理地址区分开。更换软件包仓库会选定另一个软件包来源。选择转发代理则会改变到达某个来源所使用的网络路径。

如果某个包装脚本启动了下载器，请检查该进程的实际环境。在无关终端里显示的变量，对构建服务而言是薄弱的证据。请在故障报告中保留传输方式的选择，以便下一位知道该排查哪个客户端的代理行为。