Understanding how HTTP works

oheil · August 15, 2020, 11:09am

There is some old discussion about HTTP.jl and proxy:

Not sure if this still fits.
I think the general way to solve this is using the environment variables:
http_proxy , https_proxy

There is also a closed issue which shows some information on how to do it with linux/bash:

github.com/JuliaLang/julia

Julia does not recognize proxy settings

opened 09:30PM - 07 Jan 19 UTC

closed 09:19PM - 31 Mar 19 UTC

wsshin

packages libgit2

- Original discussion: https://discourse.julialang.org/t/cannot-add-packages-may…be-due-to-corporate-firewall/19352. - Asked to file a new issue from the related issue: https://github.com/JuliaLang/julia/issues/20948#issuecomment-452073028. I am working behind a corporate firewall. The proxy settings to bypass the firewall are correct, but Julia package manager does not recognize the proxy settings. I have the proxy settings in `~/.bashrc`, which read ```bash export http_proxy=<proxyhost>:<port> export https_proxy=<proxyhost>:<port> ``` where `<proxyhost>` and `<port>` are replaced with the proxy host address and port number. This allows me to `git clone` a Julia package in BASH: ```bash $ git clone https://github.com/JuliaCI/BenchmarkTools.jl Cloning into 'BenchmarkTools.jl'... remote: Enumerating objects: 1230, done. remote: Total 1230 (delta 0), reused 0 (delta 0), pack-reused 1230 Receiving objects: 100% (1230/1230), 310.90 KiB | 1.16 MiB/s, done. Resolving deltas: 100% (815/815), done. ``` However, in REPL the Julia package manager can neither read the package registry nor clone the package: ```julia julia> VERSION v"1.2.0-DEV.93" (v1.2) pkg> add BenchmarkTools Cloning default registries into `~/.julia` Cloning registry from "https://github.com/JuliaRegistries/General.git" ERROR: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:OS, failed to connect to github.com: Operation timed out) (v1.2) pkg> add https://github.com/JuliaCI/BenchmarkTools.jl.git Cloning git-repo `https://github.com/JuliaCI/BenchmarkTools.jl.git` ERROR: failed to clone from https://github.com/JuliaCI/BenchmarkTools.jl.git, error: GitError(Code:ERROR, Class:OS, failed to connect to github.com: Operation timed out) ``` If I remove the proxy settings from `~/.bashrc`, I get a similar error message from `git clone` in BASH as well: ```bash $ git clone https://github.com/JuliaCI/BenchmarkTools.jl Cloning into 'BenchmarkTools.jl'... fatal: unable to access 'https://github.com/JuliaCI/BenchmarkTools.jl/': Failed to connect to github.com port 443: Operation timed out ``` which suggests that the above error message is generated because Julia does not recognize the proxy settings.