Як встановити проксі для Cabal?

Я використовую Ubuntu за (Windows) проксі. Я хотів би скористатися cabalутилітою.

jem@Respect:~$ cabal update
Config file path source is default config file.
Config file /home/jem/.cabal/config not found.
Writing default configuration to /home/jem/.cabal/config
Downloading the latest package list from hackage.haskell.org
Warning: invalid http proxy uri:
"http://domain\\user:pass@internetproxy:3128/"
Warning: proxy uri must be http with a hostname
Warning: ignoring http proxy, trying a direct connection
^C

URL-адресу проксі-сервера було прочитано з оточення. Мій проксі вимагає автентифікації, але cabal хоче, щоб URL проксі починався з імені хоста, тому, можливо, це підкаже мені для отримання облікових даних ...

jem@Respect:~$ http_proxy=http://internetproxy:3128/ cabal update
Downloading the latest package list from hackage.haskell.org
No action for prompting/generating user+password credentials  provided (use: setAuthorityGen); returning Nothing
cabal: Failed to download index 'ErrorMisc "Unsucessful HTTP code: (4,0,7)"'

Що таке setAuthorityGenі як я ним користуюся? Що ще важливіше, чи можна дозволити доступ через проксі-сервер? Чи потрібно мені тунель?

Мій стандартний підхід до проксі-серверів ISA полягає в налаштуванні локального аутентифікуючого проксі, наприклад, cntlm . Після встановлення cntlm на вашій машині Ubuntu ви налаштуєте його для автентифікації через NTLM на проксі-сервері ISA за допомогою вашого імені користувача та пароля Windows. Потім ви встановлюєте HTTP_PROXYзмінну http://localhost:3128(тобто порт, який слухає cntlm).

Перевага такого підходу полягає в тому, що лише одна програма має справу з проксі-сервером Windows. Всі інші програми можуть пройти через використання cntlm в якості шлюзу.

Відповідь від піксельної пошти Haskell-cafe

cabal-installналаштовано в ~/.cabal/config. Додайте цей рядок до конфігураційного файлу:

export http_proxy=http://${username}:${password}@${proxy_address}

У мене це працює в поліпо . Мій університет використовує http-proxyаутентифікацію. У /etc/polipo/configвас потрібно додати ці рядки

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

І експорт http_proxy=http://localhost:8123". І це спрацювало як шарм.