La elección de transporte HTTP de Cabal cambia dónde van los ajustes del proxy
cabal-install puede usar un descargador externo. El comportamiento de proxy admitido depende entonces de ese transporte elegido y del entorno del proceso.
Un problema de proxy en cabal-install puede ser una cuestión sobre el transporte HTTP elegido. Cabal documenta una elección de transporte, y un descargador externo curl o Wget aporta la interfaz de proxy de esa herramienta.
Examine la versión de Cabal instalada y el transporte activo antes de buscar un conmutador --no-proxy universal. Después configure la solicitud mediante el entorno o las opciones documentadas del descargador elegido. Para orígenes de paquetes públicos a los que se llega mediante un intermediario HTTP público permitido, la lista de proxies HTTP ofrece candidatos de punto final.
No coloque una instrucción de shell export http_proxy=... en el archivo de configuración de Cabal. Ese archivo tiene su propia sintaxis; no se ejecuta como su shell de terminal.
Mantenga también separadas las direcciones del repositorio y del proxy. Cambiar el repositorio de paquetes selecciona otro origen de paquetes. Elegir un proxy de reenvío cambia la ruta de red que se usa para llegar a un origen.
Si un envoltorio lanza el descargador, examine el entorno real de ese proceso. Una variable mostrada en una terminal ajena es una prueba débil sobre un servicio de compilación. Conserve la elección de transporte en un informe de fallo para que la siguiente persona sepa qué comportamiento de proxy de cliente hay que investigar.