Джулия Pkg.update () и проблема LibGit2 - PullRequest
Новая
       2

Джулия Pkg.update () и проблема LibGit2

0 голосов
/ 11 мая 2018

Я не могу сделать Pkg.update() или Pkg.add("Something") за своим офисным брандмауэром, хотя с помощью ~/.gitconfig я могу использовать git для клонирования из командной строки, когда cntlm работает на моем локальном компьютере 

[http]
    proxy = 127.0.0.1:3128
    sslVerify = false
[url "https://"]
    insteadOf = git://

Я получаю следующую ошибку в Julia 0.6.2 (ниже). Есть идеи? Я мертв в воде сейчас с управлением пакетами. Кажется, что LibGit2 не воспринимает оператор sslVerify=false (который, как я знаю, плохая идея и не должен регулярно использоваться) 

julia> Pkg.update()
INFO: Updating METADATA...
ERROR: METADATA cannot be updated. Resolve problems manually in /blah/julia_packages/v0.6/METADATA.
GitError(Code:ECERTIFICATE, Class:SSL, SSL error: ffffd900[8] - X509 - Certificate verification failed, e.g. CRL, CA or signature check failed)
macro expansion at ./libgit2/error.jl:99 [inlined] #fetch#41(::Base.LibGit2.FetchOptions, ::String, ::Function, ::Base.LibGit2.GitRemote, ::Array{AbstractString,1}) at ./libgit2/remote.jl:226
(::Base.LibGit2.#kw##fetch)(::Array{Any,1}, ::Base.LibGit2.#fetch, ::Base.LibGit2.GitRemote, ::Array{AbstractString,1}) at ./<missing>:0 ...
...