使用防火墙后面的OPAM

Question

我想知道我需要设置什么，以便OPAM在防火墙后面的代理服务器下载软件包。

Answer 1

opam 用途 curl, ，因此您可以简单地设置 http_proxy, HTTPS_PROXY 或者 ALL_PROXY 环境变量指向您的代理服务器。