3

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

4

1 回答 1

7

opamuses ，curl因此您可以简单地设置http_proxy或环境变量来指向您的代理服务器。HTTPS_PROXYALL_PROXY

于 2013-11-07T09:18:23.670 回答