从防火墙后面使用opam

Question

我想知道我需要设置什么，以便如果我在防火墙后面，opam将通过代理服务器下载软件包。

Answer 1

opam使用curl，因此您只需设置http_proxy，HTTPS_PROXY或ALL_PROXY环境变量即可指向代理服务器。