Việc chọn giao thức truyền tải HTTP của Cabal thay đổi nơi đặt cấu hình proxy
cabal-install có thể dùng một trình tải xuống bên ngoài. Hành vi proxy được hỗ trợ khi đó phụ thuộc vào giao thức truyền tải đã chọn và môi trường tiến trình.
Sự cố proxy trong cabal-install có thể là câu hỏi về giao thức truyền tải HTTP đã chọn. Cabal ghi nhận lựa chọn giao thức truyền tải, và một trình tải xuống bên ngoài curl hoặc Wget mang theo giao diện proxy của công cụ đó.
Hãy kiểm tra phiên bản Cabal đã cài và giao thức truyền tải đang hoạt động trước khi tìm một công tắc --no-proxy phổ quát. Sau đó cấu hình yêu cầu qua môi trường hoặc tùy chọn đã được ghi nhận của trình tải xuống đã chọn. Với các nguồn gói công khai được truy cập qua một trung gian HTTP công khai được phép, danh sách proxy HTTP cung cấp các ứng viên điểm cuối.
Không đặt câu lệnh shell export http_proxy=... vào tệp cấu hình của Cabal. Tệp đó có cú pháp riêng; nó không được thực thi như shell của thiết bị đầu cuối của bạn.
Cũng hãy giữ địa chỉ kho gói và địa chỉ proxy tách biệt. Thay đổi kho gói chọn một nguồn gói khác. Chọn một proxy chuyển tiếp thay đổi đường mạng được dùng để đến một nguồn.
Nếu một trình bao bọc khởi chạy trình tải xuống, hãy kiểm tra môi trường thực tế của tiến trình đó. Một biến được hiển thị trong thiết bị đầu cuối không liên quan là bằng chứng yếu về một dịch vụ build. Hãy lưu lựa chọn giao thức truyền tải trong báo cáo lỗi để người tiếp theo biết hành vi proxy của máy khách nào cần điều tra.