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

我对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

---

有人知道我能做些什么来解决这个问题吗？

虽然它可能无法解决您的特定问题（如果您使用Julia v0.4），但为了将来的读者：

---

在v0.5或更高版本中（更具体地说，在https://github.com/JuliaLang/julia/pull/17783 Julia将通过

libcurl

尊重标准的

http\u代理

、

https\u代理

、以及

http\u no\u代理

环境变量。可能某些包仍然不尊重这些环境变量；在这种情况下，我会对有问题的包提出一个问题。

您是否尝试过设置全局git代理配置？例如，请参阅我在

v0.5.0（（2016-09-19 18:14 UTC）x86_64-linux-gnu

，我仍然看到此错误（对于命令

Pkg.add（“数据帧”）

），我可以提取所需的URL（

curl）https://github.com/JuliaLang/METADATA.jl

）在控制台中使用curl（甚至是Julia

shell>

提示符）@StephenMcAteer您的

http\u proxy

、

https\u proxy

和

和
http\u no\u proxy`环境变量的值是什么？我在公司防火墙后面，使用
cntlm
作为代理服务器。环境变量的设置是正确的。（就像我说的，curl正在野外工作）.Julia安装自己版本的curl，默认情况下不支持使用代理。