Pilihan transport HTTP Cabal mengubah tempat pengaturan proxy berada
cabal-install dapat memakai pengunduh eksternal. Perilaku proxy yang didukung kemudian bergantung pada transport yang dipilih dan lingkungan prosesnya.
Masalah proxy di cabal-install bisa jadi pertanyaan tentang transport HTTP yang dipilih. Cabal mendokumentasikan pilihan transport, dan pengunduh eksternal curl atau Wget membawa serta antarmuka proxy alat tersebut.
Periksa versi Cabal yang terpasang dan transport aktif sebelum mencari sakelar --no-proxy universal. Lalu konfigurasikan permintaan melalui lingkungan atau opsi terdokumentasi dari pengunduh yang dipilih. Untuk sumber paket publik yang dijangkau melalui perantara HTTP publik yang diizinkan, daftar proxy HTTP menawarkan kandidat titik akhir.
Jangan menaruh pernyataan shell export http_proxy=... di berkas konfigurasi Cabal. Berkas itu punya sintaksisnya sendiri; berkas itu tidak dijalankan sebagai shell terminal Anda.
Juga pisahkan alamat repositori dan proxy. Mengganti repositori paket memilih sumber paket lain. Memilih proxy penerus mengubah jalur jaringan yang dipakai untuk mencapai sumber.
Jika pembungkus menjalankan pengunduh, periksa lingkungan sebenarnya dari proses itu. Variabel yang ditampilkan di terminal tak terkait adalah bukti lemah tentang layanan build. Simpan pilihan transport dalam laporan kegagalan agar orang berikutnya tahu perilaku proxy klien mana yang perlu diselidiki.