Como eu defino o proxy para o Cabal?

Question

Estou usando o Ubuntu por trás de um proxy (Windows). Eu gostaria de usar o utilitário 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

O URL do proxy foi lido no ambiente. Meu proxy requer autenticação, mas a cabal quer que o URL do proxy comece com um nome de host, então talvez ele me peça credenciais ...

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)"'

O que é setAuthorityGen e como posso usá-lo? Mais importante, posso ativar o acesso por meio do proxy de autenticação? Eu precisarei fazer um túnel?

    

Answer 1

Minha abordagem padrão para os proxies do ISA é configurar um proxy de autenticação local como cntlm . Depois de instalar o cntlm em sua máquina Ubuntu, configure-o para autenticar via NTLM no proxy ISA com seu nome de usuário e senha do Windows. Em seguida, você define a variável HTTP_PROXY como http://localhost:3128 (ou seja, a porta que cntlm está escutando).

A vantagem desta abordagem é que apenas um programa tem que lidar com o proxy do Windows. Todos os outros programas podem passar usando o cntlm como seu gateway.

    

Answer 2

Resposta do pipermail do Haskell-cafe

cabal-install está configurado em ~/.cabal/config . Adicione esta linha ao arquivo de configuração:

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

    

Answer 3

Eu tenho trabalhado com o polipo . Minha universidade usa http-proxy com autenticação. Em /etc/polipo/config você precisa adicionar essas linhas

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

E exporte http_proxy=http://localhost:8123" . E funcionou como um encanto.