IJuliaパッケージのインストール

Question

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 

おかげ

私はプロキシを使用する必要がある場合、どのように私はジュリアコンソールでそれを指定するのですか？

Answer 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はプロキシポートです。

これが役に立ちます。