Julia 1.6: can't git clone using proxy (but git alone can) on Windows

user_10580090 0
Viewed 514

I tried to use proxy configuration for faster connection on my git, my config was git config --global http.proxy socks5://127.0.0.1:1080, and it works fine with git. However, after applying this, my Julia package installation fails as following:

(@v1.6) pkg> add IJulia
Installing known registries into `C:\Users\kyu\.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:HTTP, invalid URL: 'socks5://127.0.0.1:1080')

If I unset proxy by git config --global --unset http.proxy it goes back to normal.

Moreover, I would like to ask, in this case, I successfully git clone the repository using git, how can I install this package locally on Julia so I can skip the proxy issue?

julia proxy git
1 Answers

Tried many ways but all failed, the only solution is to configure system-wise proxy on Windows.

Start menu => Proxy settings => Use a proxy server => save

user_105800900
Related