5

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?

Negrito
  • 220
  • 1
  • 9
  • Have you tried adding a trailing slash? I.e. `'socks5://127.0.0.1:1080/'`. Possibly relevant: https://github.com/JuliaLang/julia/issues/33111#issuecomment-541224149 and https://github.com/libgit2/libgit2/issues/5255 . – ahnlabb Apr 06 '21 at 16:58
  • Hi, it didn't work. Also to mention, Julia Pkg.add() works fine with proxy on LINUX, but now I am doing it with Windows, doesn't work... – Negrito Apr 07 '21 at 01:47

1 Answers1

0

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

Negrito
  • 220
  • 1
  • 9