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