Manually installing Julia packages on Windows

[Able Mashamba]

All Pkg.*() commands do not work on my Windows system which has a proxy.pac config file that is heavily protected by a paranoid firewall. How can I manually install the Julia packages that I have downloaded?

[Avik Sengupta]

For packages without native dependencies, copying them to HOME/.julia/<pkgname> should work. Eg c:\Users\xyz\.julia\JSON\  (note that the location has changed recently. This is for the rc2 binary and above). For packages with native dependencies, you will also have to download the binaries. Look in <pkgname>/deps/build.jl to see what is download. The downloaded dll's are usually placed in <pkgname>/deps/user/lib/[x86|x86-64]. But  if you have problems with loading the libraries, in the worst case, you can copy the dll's to the <julia install dir>\bin directory. That's messy, but works.

Regards
-
AVik

[Jameson Nash]

On Windows, the WinRPM packages uses Internet Explorer to do the internet access, so it should work through your firewall. 

[Tobias Knopp]

I have the same issue here on Windows with the julia RC2 from the homepage:

fatal: unable to connect to github.com:
github.com[0: 192.30.252.131]: errno=No error

Tortoise git works fine. Any idea how to solve this issue?

Thanks

Tobias

[Patrick O'Leary]

Is it just that the git:// protocol is blocked? Try..

git config --global "https://github.com/".insteadOf git://github.com/

[Tobias Knopp]

This seems to work, thanks! But how can I tell Pkg to use https instead of git?

[Stefan Karpinski]

You just did :-)

[Tobias Knopp]

I run the git command using the  "run" command.

 run(`git clone -q -b metadata-v2 git://github.com/JuliaLang/METADATA.jl  METADATA`)

gives me an error, while

run(`git clone -q -b metadata-v2 https://github.com/JuliaLang/METADATA.jl  METADATA`)

works. But if I do Pkg.status, I still git

julia> Pkg.status()
INFO: Initializing package repository D:\Users\tknopp\.julia
INFO: Cloning METADATA from git://github.com/JuliaLang/METADATA.jl

fatal: unable to connect to github.com:
github.com[0: 192.30.252.131]: errno=No error

ERROR: failed process: Process(`git clone -q -b metadata-v2 git://github.com/Jul
iaLang/METADATA.jl METADATA`, ProcessExited(128)) [128]
 in pipeline_error at process.jl:476
 in success at process.jl:468
 in run at process.jl:453
 in info at util.jl:426

May I have to edit the Pkg.init function to use https?

Thanks for your help!

[Stefan Karpinski]

Seems like git doesn't change the protocol for URLs that are passed to it in certain ways. That's unfortunate and massively complicates making Pkg work through a firewall. It can probably be done, but it's a fairly major bit of work. In the meantime, I'm afraid you may be a bit hosed if you're behind a draconian firewall.

[Patrick O'Leary]

No, it's that I typed the config option wrong. The config key is prefixed with "url.":

git config --global url."https://github.com/".insteadOf git://github.com/

[Adrian Torrie]

I realise this question is old, but I recently had the same issue and was pointed to this thread. I have detailed a way to configure Git (in my example, the Git that can be found within the Julia folders) to get through an authenticated proxy that uses a script (on Windows), here: https://groups.google.com/d/msg/julia-users/W-H6ZxjXYSI/RWnc6bk6e-EJ