On Mon, Feb 8, 2016 at 12:53 PM, Arch Robison <[email protected]> wrote:
> How do I go about debugging why the Julia package manager can't connect to
> Github?  I've tried the usual firewall workarounds (see below).  Either of
> the following works fine:
>
> git clone https://github.com/JuliaLang/METADATA.jl
>
> git clone git://github.com/JuliaLang/METADATA.jl
>
> But within Julia, Pkg.init() fails with:
>
> julia> Pkg.init()
> INFO: Initializing package repository /nfs/fx/home/adrobiso/.julia/v0.5
> INFO: Cloning METADATA from https://github.com/JuliaLang/METADATA.jl
> ERROR: GitError(Code:ERROR, Class:OS, Failed to connect to github.com:
> Connection timed out)

Given the error and that you want to use proxy. Maybe
https://github.com/JuliaLang/julia/issues/13472 ?

>
>
> I've already have the following variables set:
> HTTP_PROXY=http://proxy-us.intel.com:911
> HTTPS_PROXY=http://proxy-us.intel.com:911
> http_proxy=http://proxy-us.intel.com:911
> https_proxy=http://proxy-us.intel.com:911
>
> and I've run:
> git config --global url."https://".insteadOf git://
> git config --global http.proxy $HTTP_PROXY
>
> Suggestions?
>
> - Arch
>

Reply via email to