尝试在 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 控制台中指定它?