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 --globalhttps
.proxy http://<proxyuser>:<proxypwd>@proxy.server.com:8080


   - Lines 2 & 3 above came from 
StackOverflow<http://stackoverflow.com/questions/783811/getting-git-to-work-with-a-proxy-server>
   .
   - If you have special characters in your password be sure to replace the 
   character with the URL encoding, you can use this 
list<http://www.degraeve.com/reference/urlencoding.php>
   .
   - 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
      


On Monday, 31 March 2014 13:10:21 UTC+11, Jake Bolewski wrote:
>
> Does this solution not work?
> https://groups.google.com/d/msg/julia-users/KgIJpGeKros/sR5Ea8_UlIIJ
>
> On Sunday, March 30, 2014 9:41:15 PM UTC-4, Adrian Torrie wrote:
>>
>>
>> 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
>>
>>
>>
>>

Reply via email to