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:

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

最终在上找到了解决方案

基本上,(假设您已经安装了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
是代理端口


希望这能有所帮助。

答案可能就在这里