proxy - Julia 连接到代理后面的服务器

Question

我在将 Julia 和 Atom 连接到服务器时遇到问题。我的位置当前位于使用代理和防火墙的公司网络中。有谁知道我必须更改哪些设置才能连接到 Julia 和 Atom 服务器？

因为，如果我使用我的家庭网络，一切都运行良好。我也可以在家里的工作电脑上启动 Julia，它一直在工作，直到我在工作时再次启动它。这是我在 Atom 上尝试安装任何软件包时收到的异常示例:

connect ETIMEDOUT 54.235.138.91:443

这是我在尝试安装任何包时收到的异常示例:

Julia> Pkgupdate()

 INFO Updating METADATA… Fatal: unable to connect to github.com:
 Github.com[0: 192.30.253.113]: errno=No error

 ERROR: failed process: Process(‘git pull - -rebase –q’,
 ProcessExited(1)) [1] in pipeline_error at process.jl:555

有谁知道我可以做些什么来解决这个问题？

Answer 1

虽然它可能无法解决您的特定问题(如果您使用 Julia v0.4)，但为了 future 的读者:

在 v0.5 或更高版本中(更具体地说，在合并 https://github.com/JuliaLang/julia/pull/17783 之后)，Julia 将尊重标准 http_proxy， https_proxy 和 http_no_proxy 环境变量通过 libcurl。某些包可能仍然不遵守这些环境变量；在这些情况下，我会针对相关包提出问题。