opam
usos curl
, para que simplemente puedas configurar http_proxy
, HTTPS_PROXY
o ALL_PROXY
Entorno variable para señalar a su servidor proxy.
Usando Opam desde detrás de un firewall
Pregunta
Me pregunto qué necesito configurar para que OPAM descargue paquetes a través de un servidor proxy si estoy detrás de un firewall.
Solución
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow