Cabalのプロキシを設定するにはどうすればよいですか？

（Windows）プロキシの背後でUbuntuを使用しています。cabalユーティリティを使いたいのですが。

jem@Respect:~$ cabal update
Config file path source is default config file.
Config file /home/jem/.cabal/config not found.
Writing default configuration to /home/jem/.cabal/config
Downloading the latest package list from hackage.haskell.org
Warning: invalid http proxy uri:
"http://domain\\user:pass@internetproxy:3128/"
Warning: proxy uri must be http with a hostname
Warning: ignoring http proxy, trying a direct connection
^C

プロキシURLが環境から読み取られました。私のプロキシは認証を必要としますが、cabalはプロキシURLがホスト名で始まることを望んでいるため、おそらく資格情報を要求するでしょう...

jem@Respect:~$ http_proxy=http://internetproxy:3128/ cabal update
Downloading the latest package list from hackage.haskell.org
No action for prompting/generating user+password credentials  provided (use: setAuthorityGen); returning Nothing
cabal: Failed to download index 'ErrorMisc "Unsucessful HTTP code: (4,0,7)"'

何でsetAuthorityGen、どのように使用しますか？さらに重要なことに、認証プロキシを介したアクセスを有効にできますか？トンネルする必要がありますか？

ISAプロキシに対する私の標準的なアプローチは、cntlmのようなローカル認証プロキシを構成することです。Ubuntuマシンにcntlmをインストールしたら、Windowsのユーザー名とパスワードを使用して、ISAプロキシでNTLM経由で認証するように構成します。次に、HTTP_PROXY変数をhttp://localhost:3128（つまり、cntlmがリッスンしているポート）に設定します。

このアプローチの利点は、1つのプログラムのみがWindowsプロキシを処理する必要があることです。他のすべてのプログラムは、cntlmをゲートウェイとして使用してパススルーできます。

Haskell-cafe pipermailからの回答

cabal-installで構成されてい~/.cabal/configます。次の行を構成ファイルに追加します。

export http_proxy=http://${username}:${password}@${proxy_address}

私はそれをpolipoで動作させました。私の大学ではhttp-proxy認証を使用しています。では/etc/polipo/config、あなたは、これらの行を追加する必要があります

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

そして、エクスポートしhttp_proxy=http://localhost:8123"ます。そしてそれは魅力のように働きました。