Hello colleagues,
i'm trying to get julia (v0.4.5) running on a windows box inside company
firewall (actually a cloud instance) which has valid and working http/https
proxy,
I was able to configure git to use https isteadOf git and set http and
https proxy. Pkg.status() clones and installs METADATA afaics.
However, trying Pkg.add fails with
INFO: Cloning cache of Compat from git://github.com/JuliaLang/Compat.jl.git
fatal: unable to access 'https://github.com//JuliaLang/Compat.jl.git' : The
requested URL returned error: 400
Any idea?
Wishing a happy day,
Andreas
