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将通过libcurl尊重标准的http_proxy、https_proxy和http_no_proxy环境变量。有可能某些包仍然不尊重这些环境变量;在这种情况下，我会对有问题的包提出问题。