La scelta del trasporto HTTP di Cabal sposta dove vanno le impostazioni del proxy
cabal-install può usare un downloader esterno. Il comportamento proxy supportato dipende quindi da quel trasporto scelto e dall'ambiente del processo.
Un problema di proxy in cabal-install può essere una domanda sul trasporto HTTP scelto. Cabal documenta una scelta di trasporto, e un downloader esterno curl o Wget porta con sé l'interfaccia proxy di quello strumento.
Esaminate la versione di Cabal installata e il trasporto attivo prima di cercare un interruttore --no-proxy universale. Poi configurate la richiesta tramite l'ambiente o le opzioni documentate del downloader scelto. Per le origini di pacchetti pubbliche raggiunte tramite un intermediario HTTP pubblico consentito, la lista di proxy HTTP offre candidati di endpoint.
Non inserite un'istruzione shell export http_proxy=... nel file di configurazione di Cabal. Quel file ha una sintassi propria; non viene eseguito come la vostra shell di terminale.
Tenete anche separati gli indirizzi del repository e del proxy. Cambiare il repository dei pacchetti seleziona un'altra origine di pacchetti. Scegliere un proxy di inoltro cambia il percorso di rete usato per raggiungere un'origine.
Se un wrapper avvia il downloader, esaminate l'ambiente reale di quel processo. Una variabile mostrata in un terminale non correlato è una prova debole su un servizio di build. Conservate la scelta del trasporto in un rapporto di errore, così la persona successiva sa quale comportamento proxy del client va indagato.