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

3

我在连接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

有人知道我可以做什么来解决这个问题吗?


你尝试过设置全局 git 代理配置吗?例如,参见 https://dev59.com/DHRA5IYBdhLWcg3w6SXZ - Keno Fischer
1个回答

1

虽然它可能无法解决您的特定问题(如果您使用的是Julia v0.4),但为了未来的读者着想:

在v0.5或之后(更具体地说,在https://github.com/JuliaLang/julia/pull/17783合并后),Julia将通过libcurl遵守标准的http_proxyhttps_proxyhttp_no_proxy环境变量。某些包可能仍然不遵守这些环境变量;在这种情况下,我会向相关软件包提交问题报告。


我正在使用 v0.5.0 ((2016-09-19 18:14 UTC) x86_64-linux-gnu,但在执行命令 Pkg.add("DataFrames") 时仍然出现错误。我可以在控制台(甚至是 Julia 的 shell> 提示符)中使用 curl 拉取所需的 URL (curl https://github.com/JuliaLang/METADATA.jl)。 - Stephen McAteer
@StephenMcAteer 你的http_proxy,https_proxy, 和 http_no_proxy 环境变量的值是什么? - Fengyang Wang
我在公司防火墙后面,使用cntlm作为代理服务器。环境变量已正确设置。(就像我说的,在外部curl是可以工作的)。 - Stephen McAteer
Julia安装了自己的curl版本,默认情况下不支持使用代理。 - Frank Willmore

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接