Làm cách nào để đặt proxy cho Cabal?

9

Tôi đang sử dụng Ubuntu phía sau proxy (Windows). Tôi muốn sử dụng các cabaltiện ích.

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 proxy đã được đọc từ môi trường. Proxy của tôi yêu cầu xác thực, nhưng cabal muốn URL proxy bắt đầu bằng tên máy chủ, vì vậy có lẽ nó sẽ nhắc tôi về thông tin đăng nhập ...

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

setAuthorityGenTôi sử dụng nó là gì và làm thế nào? Quan trọng hơn, tôi có thể kích hoạt quyền truy cập thông qua proxy xác thực không? Tôi sẽ cần phải đào hầm?

proxy

— Synesso
nguồn

Tôi đang gặp vấn đề tương tự. Nếu bạn tìm thấy một cách giải quyết, xin vui lòng cho tôi biết.

— Dilawar

@Dilawar Có một lỗi trong hacktracker hack.haskell.org/trac/hackage/ticket/855

— Artem Koshelev

2

Cách tiếp cận tiêu chuẩn của tôi đối với các proxy của ISA là định cấu hình proxy xác thực cục bộ như cntlm . Sau khi cài đặt cntlm trên máy Ubuntu của bạn, bạn định cấu hình nó để xác thực thông qua NTLM tại proxy ISA với tên người dùng và mật khẩu Windows của bạn. Sau đó, bạn đặt HTTP_PROXYbiến thành http://localhost:3128(tức là cổng mà cntlm đang nghe).

Ưu điểm của phương pháp này là chỉ có một chương trình phải đối phó với proxy Windows. Tất cả các chương trình khác có thể đi qua bằng cách sử dụng cntlm làm cổng.

— rekado
nguồn

2

Trả lời từ Haskell-cafe pipermail

cabal-installđược cấu hình trong ~/.cabal/config. Thêm dòng này vào tập tin cấu hình:

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

— andrybak
nguồn

0

Tôi đã có nó làm việc với polipo . Trường đại học của tôi sử dụng http-proxyvới xác thực. Trong /etc/polipo/configbạn cần thêm những dòng này

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

Và xuất khẩu http_proxy=http://localhost:8123". Và nó làm việc như một lá bùa.

— Dilawar
nguồn