Cabal терпит неудачу с прокси-сервером с аутентификацией

Это известная ошибка, что cabal не может обрабатывать прокси в формате http://user:password@host:port. В списке рассылки Haskell кто-то предложил патч для решения этой проблемы, но этот патч сейчас довольно старый.

Это не удается со следующим сообщением

   Downloading the latest package list from hackage.haskell.org
   Warning: invalid http proxy uri:
   "http://user:pass@host:80/"
   Warning: proxy uri must be http with a hostname
   Warning: ignoring http proxy, trying a direct connection

Кто-нибудь знает, как заставить Кабал использовать мои настройки прокси? Подойдет любой непрямой метод, например обход прокси и т.д.

Суперпользователю задается похожий вопрос, но на него нет ответа там.


cabal-install
person Dilawar    schedule 16.02.2012    source источник

Ответы (1)


arrow_upward
1
arrow_downward

У меня работает с polipo. В моем университете используется http-proxy с аутентификацией. В /etc/polipo/config нужно добавить эти строки

parentProxy = "proxy.server.com:80"
parentAuthCredentials = "myusername:mypassword"

И экспортировать http_proxy=http://localhost:8123". И это сработало как шарм.

person Community    schedule 08.07.2012
comment
я пробовал использовать polipo в любом браузере, он отлично работает для http-ссылок, но при открытии https-ссылок запрашивает аутентификацию. пожалуйста помоги - person shivshnkr; 30.09.2013
comment
С https не пробовал. Пробовали ли вы экспортировать https_proxy на localhost:8123? Если да, то у меня нет идей. - person Dilawar; 01.10.2013
comment
Я пытался использовать все ручные настройки прокси Firefox для 127.0.0.1:8123, но тщетно. Он запрашивает аутентификацию с просмотром https, например, gmail.com или github.com. Пожалуйста, посмотрите, может ли он работать так же, как http. Заранее спасибо. Я также задавал этот вопрос на форумах: unix.stackexchange.com /вопросы/92971/ - person shivshnkr; 01.10.2013
comment
Съемка в темноте: Вы используете pilipo как root? sudo service polipo restart должен это сделать. И проверьте, успешно ли работает polipo. Я действительно не могу воспроизвести это сейчас, потому что я больше не нахожусь в своем кампусе, где я был за прокси. - person Dilawar; 02.10.2013
comment
Я делал все это как root, на самом деле проблемы были и раньше: mail-archive.com/[email protected]/ - person shivshnkr; 02.10.2013