尝试在Windows 7企业版中安装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控制台中指定它?
答案 0 :(得分:1)
最后在Google Groups上找到了解决方案。
基本上,(假设您已经安装了git)我必须从Windows 7 Powershell运行以下3行中的每一行:
class Button
{
public event EventHandler<BoolEventArgs> Click;
}
其中: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
是代理端口。
希望这有帮助。