ฉันจะตั้งค่าพร็อกซีสำหรับพันธมิตรได้อย่างไร

ฉันใช้ 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 proxy ด้วยชื่อผู้ใช้และรหัสผ่าน Windows ของคุณ จากนั้นคุณตั้งค่าHTTP_PROXYตัวแปรเป็นhttp://localhost:3128(เช่นพอร์ตที่ cntlm กำลังฟัง)

ข้อดีของวิธีนี้คือมีเพียงโปรแกรมเดียวเท่านั้นที่ต้องจัดการกับ Windows proxy โปรแกรมอื่นทั้งหมดสามารถผ่านได้โดยใช้ cntlm เป็นเกตเวย์

คำตอบจาก pipaskail Haskell-cafe

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"และการส่งออก และมันก็ใช้งานได้เหมือนมีเสน่ห์