Cabal 使用身份验证代理失败

Question

这是一个众所周知的错误，cabal 无法处理格式为http://user:password@host:port 格式的代理。在 Haskell 邮件列表上，有人提出了一个补丁来解决这个问题，但这个补丁现在已经很老了。

失败并显示以下消息

   Downloading the latest package list from hackage.haskell.org
   Warning: invalid http proxy uri:
   "http://user:pass@host:80/"
   Warning: proxy uri must be http with a hostname
   Warning: ignoring http proxy, trying a direct connection

有人知道如何让 cabal 使用我的代理设置吗？任何间接方法也可以，例如绕过代理等。

超级用户询问similar question，但那里没有回答。

Answer 1

我已经让它与polipo 一起工作。我的大学使用http-proxy 进行身份验证。在/etc/polipo/config 你需要添加这些行

parentProxy = "proxy.server.com:80"
parentAuthCredentials = "myusername:mypassword"

并导出http_proxy=http://localhost:8123"。它就像一个魅力。