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），但为了未来的读者：

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