私の Linux(redhat6) サーバーは、http プロキシを使用して外の世界に接続する必要があります。wget などの他のものでは機能しますが、cabal では機能しません。
cabal update -v3
次のようなエラーが表示されます。
407 - プロキシ認証が必要なキャバル: http://hackage.haskell.org/packages/archive/00-index.tar.gzのダウンロードに失敗しました: ErrorMisc "失敗した HTTP コード: 407"
http_proxy 環境変数を http:// user: passwd at proxy:port のような形式に変更しようとしましたが、どちらも機能しません。
同じ問題がここで尋ねられました
しかし、私は polipo のようなプロキシ サーバーを使用することを許可されていません。cabal をプロキシの背後で動作させる他の方法はありますか?