Выбор HTTP-транспорта в Cabal меняет место настроек прокси
cabal-install может использовать внешний загрузчик. Поддерживаемое поведение прокси тогда зависит от выбранного транспорта и окружения процесса.
Проблема с прокси в cabal-install может быть вопросом о выбранном HTTP-транспорте. Cabal документирует выбор транспорта, а внешний загрузчик curl или Wget приносит с собой прокси-интерфейс этого инструмента.
Проверьте установленную версию Cabal и активный транспорт, прежде чем искать универсальный переключатель --no-proxy. Затем настройте запрос через документированное окружение или параметры выбранного загрузчика. Для публичных источников пакетов, доступных через разрешённого публичного HTTP-посредника, список HTTP-прокси предлагает кандидатов в конечные точки.
Не помещайте шелл-инструкцию export http_proxy=... в файл конфигурации Cabal. У этого файла свой синтаксис; он не выполняется как ваша терминальная оболочка.
Также держите адреса репозитория и прокси раздельно. Смена репозитория пакетов выбирает другой источник пакетов. Выбор пересылающего прокси меняет сетевой путь к источнику.
Если обёртка запускает загрузчик, проверьте фактическое окружение этого процесса. Переменная, показанная в постороннем терминале, — слабое доказательство о службе сборки. Сохраните выбор транспорта в отчёте о сбое, чтобы следующий человек знал, чьё поведение прокси нужно исследовать.