Usando Opam desde detrás de un firewall

Question

Me pregunto qué necesito configurar para que OPAM descargue paquetes a través de un servidor proxy si estoy detrás de un firewall.

Answer 1

opam usos curl, para que simplemente puedas configurar http_proxy, HTTPS_PROXY o ALL_PROXY Entorno variable para señalar a su servidor proxy.