IJulia包安装
在Windows 7 Enterprise中尝试安装IJulia软件包时,是否有办法避免以下错误IJulia包安装,julia,ijulia-notebook,Julia,Ijulia Notebook,在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:
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控制台中指定它?最终在上找到了解决方案 基本上,(假设您已经安装了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
git config——全局url。“https://github.com/“.代替git://github.com/
git config--全局http.proxy http://:@proxy.server.com:8080
git config--全局https.proxy http://:@proxy.server.com:8080
其中:
是您的用户名,
是您的密码,proxy.server.com
是您的代理地址,8080
是代理端口
希望这能有所帮助。答案可能就在这里