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