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.
Usando Opam por trás de um firewall
Pergunta
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.
Solução
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow