2013-10-30 15 views
6

Khi tôi cố gắng chạy cabal sau một proxy mà không cần thiết lập HTTP_PROXY, tôi nhận đượcKhông có lá cờ proxy cho cabal dưới cửa sổ?

C:\Users\joeschmo>cabal update 
Downloading the latest package list from hackage.haskell.org 
cabal: openTCPConnection: host lookup failure for "hackage.haskell.org" 

cabal -h không đưa ra một lựa chọn proxy, và tôi không thể tìm thấy bất kỳ thông tin về làm thế nào để thiết lập một .cabal tệp để khắc phục điều này.

Vì lý do bảo mật, thiết lập môi trường HTTP_PROXY var có thể là một ý tưởng tồi.

Bất kỳ ý tưởng nào? Đang cố gắng tìm giải pháp khác ngoài dòng lệnh:

set HTTP_PROXY=http://username:[email protected]:port 
+0

Tôi chưa thể tìm thấy bất kỳ điều gì về điều này, tôi luôn phải đặt 'HTTP_PROXY'. – bheklilr

Trả lời

0

Proxy có thể được định cấu hình trong ~/.cabal/config. Thêm dòng này vào file cấu hình:

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

Tôi khá chắc chắn nó không thể được. – sclv

0

Modern cabal-install cho phép bạn thiết lập một http-transport hoặc tại cửa sổ dòng lệnh hoặc trong file .cabal/config. Nếu bạn đặt phương tiện này thành curl hoặc wget, v.v thì bạn có thể sử dụng bất kỳ cơ chế nào bạn sử dụng để cung cấp cho chúng một proxy để cung cấp cho proxy của bạn cabal.

Các vấn đề liên quan