Cabal의 프록시를 어떻게 설정합니까?

(Windows) 프록시 뒤에서 Ubuntu를 사용하고 있습니다. 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 과 같은 로컬 인증 프록시를 구성하는 것 입니다 . Ubuntu 컴퓨터에 cntlm을 설치 한 후 Windows 사용자 이름과 암호를 사용하여 ISA 프록시에서 NTLM을 통해 인증하도록 구성합니다. 그런 다음 HTTP_PROXY변수를 http://localhost:3128cntlm이 수신하는 포트 로 설정하십시오 .

이 방법의 장점은 하나의 프로그램 만 Windows 프록시를 처리해야한다는 것입니다. 다른 모든 프로그램은 cntlm을 게이트웨이로 사용하여 통과 할 수 있습니다.

Haskell-cafe pipermail의 답변

cabal-install에 구성되어 ~/.cabal/config있습니다. 이 줄을 구성 파일에 추가하십시오.

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

나는 polipo 와 함께 일하고있다 . 우리 대학은 http-proxy인증과 함께 사용 합니다. 에서는 /etc/polipo/config이러한 라인을 추가 할 필요가

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

그리고 수출 http_proxy=http://localhost:8123". 그리고 그것은 매력처럼 작동했습니다.