我想知道我需要设置什么,以便如果我在防火墙后面,opam 将通过代理服务器下载软件包。
最佳答案
opam
使用 curl
,因此您可以简单地设置 http_proxy
、 HTTPS_PROXY
或 ALL_PROXY
环境变量以指向您的代理服务器。
关于ocaml - 在防火墙后面使用 opam,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/19823956/
我想知道我需要设置什么,以便如果我在防火墙后面,opam 将通过代理服务器下载软件包。
最佳答案
opam
使用 curl
,因此您可以简单地设置 http_proxy
、 HTTPS_PROXY
或 ALL_PROXY
环境变量以指向您的代理服务器。
关于ocaml - 在防火墙后面使用 opam,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/19823956/