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

Есть ли способ обойти следующую ошибку при попытке установить пакет 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

Спасибо

Если мне нужно использовать прокси, как мне указать это в консоли Julia?


julia ijulia-notebook
person Clay    schedule 18.05.2016    source источник
comment
похоже, что ответ может быть здесь, на git   -  person Clay    schedule 18.05.2016

Ответы (1)


arrow_upward
1
arrow_downward

Наконец нашел решение в группах Google.

В принципе (при условии, что у вас уже установлен git) мне пришлось запустить каждую из следующих трех строк из 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 - порт прокси.

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

person Clay    schedule 18.05.2016