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"。它就像一个魅力。