1

尝试在 Windows 7 Enterprise 中安装 IJulia 包时,是否有解决以下错误的方法?

julia> Pkg.add("IJulia")
INFO: Initializing package repository C:\Users\user01\.julia\v0.4
INFO: Cloning METADATA from git://github.com/JuliaLang/METADATA.jl
fatal: unable to connect to github.com:
github.com[0: 192.30.252.129]: errno=No error

ERROR: failed process: Process(`git clone -q -b metadata-v2 
git://github.com/JuliaLang/METADATA.jl METADATA`, ProcessExited(128)) 
[128] in run at process.jl:531

谢谢

如果我需要使用代理,如何在 Julia 控制台中指定它?

4

1 回答 1

1

终于在Google Groups上找到了解决方案。

基本上,(假设您已经安装了 git)我必须从 Windows 7 Powershell 运行以下 3 行中的每一行:

git config --global url."https://github.com/".insteadOf git://github.com/
git config --global http.proxy http://<proxyuser>:<proxypwd>@proxy.server.com:8080
git config --global https.proxy http://<proxyuser>:<proxypwd>@proxy.server.com:8080

其中:<proxyuser>是您的用户名,<proxypwd>是您的密码,proxy.server.com是您的代理地址,8080是代理端口。

希望这可以帮助。

于 2016-05-18T03:44:15.843 回答