A escolla de transporte HTTP de Cabal cambia onde van os axustes do proxy
cabal-install pode usar un descargador externo. O comportamento de proxy admitido depende entón dese transporte escollido e da contorna do proceso.
Un problema de proxy en cabal-install pode ser unha cuestión sobre o transporte HTTP escollido. Cabal documenta unha escolla de transporte, e un descargador externo curl ou Wget achega a interface de proxy desa ferramenta.
Inspeccione a versión de Cabal instalada e o transporte activo antes de buscar un conmutador --no-proxy universal. Despois configure a solicitude mediante a contorna ou as opcións documentadas do descargador escollido. Para as fontes de paquetes públicas ás que se chega mediante un intermediario HTTP público permitido, a lista de proxies HTTP ofrece candidatos de punto final.
Non coloque unha instrución de shell export http_proxy=... no ficheiro de configuración de Cabal. Ese ficheiro ten a súa propia sintaxe; non se executa como a súa shell de terminal.
Manteña tamén separados os enderezos do repositorio e do proxy. Cambiar o repositorio de paquetes selecciona outra fonte de paquetes. Escoller un proxy de reenvío cambia a ruta de rede usada para chegar a unha fonte.
Se un envoltorio lanza o descargador, inspeccione a contorna real dese proceso. Unha variable mostrada nun terminal alleo é unha proba feble sobre un servizo de compilación. Conserve a escolla de transporte nun informe de fallo para que a seguinte persoa saiba que comportamento de proxy de cliente hai que investigar.