Установка пакета IJulia

Question

Есть ли способ избежать ошибки при попытке установить пакет IJulia в Windows 7 Enterprise?

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.

В принципе, (если вы уже установили мерзавец) мне пришлось бежать каждый из следующих 3-х линий с Windows 7 Powershell:

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 - это прокси-порт.

Надеюсь, это поможет.