我想知道我需要设置什么,以便 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/