Pkg.add() though a corporate network proxy won't work, how to fix? - Windows Environment

[Adrian Torrie]

I'm not sure how to configure julia/git to pull down packages through a network proxy (at my workplace) so the package can get installed. If you need any other info from me then please let me know, first time posting on here. Error message below:

 

               _
   _       _ _(_)_     |  A fresh approach to technical computing
  (_)     | (_) (_)    |  Documentation: http://docs.julialang.org
   _ _   _| |_  __ _   |  Type "help()" to list help topics
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.2.1 (2014-02-11 06:30 UTC)
 _/ |\__'_|_|_|\__'_|  |  Official http://julialang.org/ release
|__/                   |  i686-w64-mingw32


julia> Pkg.add("Winston")
INFO: Initializing package repository C:\Documents and Settings\<username>\.julia\v0.2
INFO: Cloning METADATA from git://github.com/JuliaLang/METADATA.jl
fatal: Unable to look up github.com (port 9418) (No such host is known. )
ERROR: failed process: Process(`git clone -q -b metadata-v2 git://github.com/JuliaLang/METADATA.jl METADATA`, ProcessExited(128)) [128]
 in pipeline_error at process.jl:476
 in run at process.jl:453
 in anonymous at no file:43
 in cd at file.jl:32
 in init at pkg/dir.jl:41
 in cd at pkg/dir.jl:25
 in add at pkg.jl:19

[Jake Bolewski]

Does this solution not work?
https://groups.google.com/d/msg/julia-users/KgIJpGeKros/sR5Ea8_UlIIJ

[Adrian Torrie]

That link got me on the right track, thank you.

For others/future reference:

In the provided link from Jake it uses the first line below in the code block. This wasn't enough for me to authenticate through the proxy server, so I included lines 2 & 3 as well.

C:\Program Files\JuliaLang\julia-e44b593905\Git\cmd>git config --global url."https://github.com/".insteadOf git://github.com/
C:\Program Files\JuliaLang\julia-e44b593905\Git\cmd>git config --global http.proxy http://<proxyuser>:<proxypwd>@proxy.server.com:8080
C:\Program Files\JuliaLang\julia-e44b593905\Git\cmd>git config --global https.proxy http://<proxyuser>:<proxypwd>@proxy.server.com:8080

• Lines 2 & 3 above came from StackOverflow.
  
• If you have special characters in your password be sure to replace the character with the URL encoding, you can use this list.
  
• You can find out your proxy server address by the following:
• Open Internet Explorer
• "Tools" menu
• "Internet Options..."
• "Connections" tab
• "LAN Settings" button
• There will be either a:
• Proxy server address and port number -> which you can just copy
• An address for a proxy script -> Copy and paste this address into the address bar of your web browser to download the script. Open the script with something like Notepad and look for a reference such as
  return "PROXY proxy.server:80"
  and use this in lines 2 & 3 above

[Nils Gudat]

This thread got me halfway to configuring Julia to update packages through my work network. The missing piece was adding my workplace's security certificate to the list of certificates used by my git installation, which is very well explained in this post.

After doing the above, I got an error saying "SSL certificate problem: unable to get local issuer certificate". I then made a copy of the ca-bundle.crt file in my git folder, copied the plain text from my company's cer files into this copy and ran
run(`git config --global http.sslCAInfo C:/Users/ngudat/ca-bundle.crt`)

The whole thing is running rather slowly now and my CPU is running at max during Pkg.update() because of a host of on-access scanners and "privilege guards" scanning the traffic, but at least it's working!