I've seen both the git manual and the https/git workaround before. Neither seem to work. The method for configuring git is also discussed here https://groups.google.com/forum/#!msg/julia-users/W-H6ZxjXYSI/RWnc6bk6e-EJ and tried running C:\Julia-0.3.4\Git\cmd>git config --global http.proxy http://[autoproxy thingy from IE] C:\Julia-0.3.4\Git\cmd>git config --global http.proxy http://@[autoproxy thiny from IE] C:\Julia-0.3.4\Git\cmd>git config --global http.proxy http://[userid]@[autoproxy thingy from IE] and nothing even remotely works. I spent some time on the phone with tech support and might as well have poked myself in the eye.
On Fri, Jan 9, 2015 at 4:47 PM, Steven G. Johnson <[email protected]> wrote: > See the manual on how to use git from behind a firewall: > > http://docs.julialang.org/en/latest/manual/packages/ > > In particular, you can run > > git config --global url."https://".insteadOf git:// > > to tell git to use https instead of git protocol, in order to work with > your firewall. >
