2011-12-07 27 views
6

Tôi đang cố gắng sử dụng haskell tại nơi làm việc. Tôi đã cài đặt HP, nhưng tôi không thể cập nhật cabal. Tôi cho rằng đây là một số vấn đề về tường lửa hoặc dns.Không thể cập nhật cabal để hoạt động bên trong mạng công ty

$ cabal update 
Downloading the latest package list from hackage.haskell.org 
cabal.exe: openTCPConnection: host lookup failure for "hackage.haskell.org" 

Bất kỳ ý tưởng nào về nơi bắt đầu khắc phục sự cố này hoặc giải pháp thay thế?

+1

Bạn có kết nối với Internet không? Bạn có cần một máy chủ proxy tại nơi làm việc không? – fuz

+0

Theo http://stackoverflow.com/questions/1551053/how-do-i-get-cabal-to-bypass-my-windows-proxy-settings, Cabal tự động phát hiện cài đặt proxy của bạn. Công ty của bạn có chặn tệp gzip không? –

+0

Tôi đã quản lý để tải xuống một vài tệp gzip trực tiếp từ hackage, do đó không phải là vấn đề –

Trả lời

3

Có một số khả năng. Bạn sẽ, tôi sợ, có thể phải nói chuyện với bộ phận CNTT của bạn.

  1. Có một hương vị xác thực tường lửa được gọi là NTLM mà Cabal không hỗ trợ. Một điều độc quyền của Microsoft rằng chỉ được hỗ trợ bởi Internet Explorer (những gì một chút nắm lấy và mở rộng giữa những người bạn?). Như đã đề xuất, có thể tường lửa của bạn đang chặn các tệp tin gzip hoặc thậm chí có thể nhìn vào bên trong chúng và thấy mã số thực thi . Bạn có thể biết điều này bằng cách cố gắng tải xuống gói đơn với trình duyệt web của bạn: nếu nội dung đang bị chặn thì bạn sẽ nhận được thông báo như vậy và có thể trao đổi với bộ phận CNTT về việc bỏ chặn nó.

Hoặc bạn có thể làm những gì tôi đã làm: tải xuống mô tả gói và lưu trữ toàn bộ phiên bản mới nhất từ ​​nhà, mang nó vào ổ zip và định cấu hình nó làm kho lưu trữ cục bộ cho Cài đặt cabal. Xin lỗi, nhưng nó được một lúc và tôi không thể nhớ chính xác như thế nào, nhưng bạn cần cả hai tập tin.

+0

Cảm ơn. Tôi đã cố gắng tải xuống các gói thủ công và nó hoạt động tốt. Vì vậy, không có vấn đề gì với điều đó. Ngoài ra tôi có các trình duyệt khác được cài đặt, hoạt động tốt, vì vậy tôi không có bất kỳ công cụ độc quyền nào của Microsoft gây ra sự cố. –

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