Cabal の HTTP トランスポート選択がプロキシ設定の置き場所を変える

cabal-install のプロキシ問題は、選択した HTTP トランスポートについての問いである場合があります。Cabal はトランスポートの選択を文書化しており、外部の curl や Wget のダウンローダーはそのツールのプロキシインターフェースを伴います。

汎用的な --no-proxy スイッチを探す前に、インストール済みの Cabal のバージョンと有効なトランスポートを確認してください。次に、選択したダウンローダーの文書化された環境変数やオプションでリクエストを設定します。許可された公的な HTTP 仲介者を通じて到達する公開パッケージソースには、HTTP プロキシ一覧がエンドポイントの候補を提供します。

export http_proxy=... というシェル文を Cabal の設定ファイルに書かないでください。そのファイルには独自の構文があり、端末のシェルとして実行されるわけではありません。

リポジトリとプロキシのアドレスも別々に保ってください。パッケージリポジトリを変えると、別のパッケージ取得元を選ぶことになります。転送プロキシを選ぶと、取得元に到達するためのネットワーク経路が変わります。

ラッパーがダウンローダーを起動する場合は、そのプロセスの実際の環境を確認してください。無関係な端末で表示された変数は、ビルドサービスについての弱い証拠にすぎません。失敗報告にトランスポートの選択を残し、次に担当する人がどのクライアントのプロキシ挙動を調べるべきか分かるようにしてください。