Usando Opam por trás de um firewall

Question

Estou me perguntando o que preciso configurar para que o Opam faça o download de pacotes através de um servidor proxy, se eu estiver por trás de um firewall.

Answer 1

opam usos curl, então você pode simplesmente configurar http_proxy, HTTPS_PROXY ou ALL_PROXY Variável de ambiente para apontar para o seu servidor proxy.