Sorry to revive this old thread but unfortunately this is not working for me. I have tried all three steps Adrian mentions above. From the error message it seems as though the proxy server is not the issue but rather the request itself. fatal: unable to access '*https://JuliaLang/METADATA.jl/*': Received HTTP code 503 from proxy after CONNECT
Notice the that 'github.com/ <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2F&sa=D&sntz=1&usg=AFQjCNHReqsuKT6C86HcgL4TbSevF24rxQ>' has been completely dropped from the http request. Does anyone have ideas about how to request the proper address? I'm using Julia 0.3.2 on a win7 32bit machine. Thanks. On Monday, March 31, 2014 12:07:18 AM UTC-4, Adrian Torrie wrote: > > 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/ > <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2F&sa=D&sntz=1&usg=AFQjCNHReqsuKT6C86HcgL4TbSevF24rxQ> > ".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 > > <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 >>> >>> >>> >>>
