Julia 1.6:不能在 Windows 上使用代理进行 git clone(但单独的 git 可以)

Neg*_*ito 5 git proxy julia

我尝试使用代理服务器配置为我更快的连接git,我的配置是git config --global http.proxy socks5://127.0.0.1:1080,它工作正常git。然而,在应用这个之后,我的 Julia 包安装失败如下:

(@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')
Run Code Online (Sandbox Code Playgroud)

如果我通过git config --global --unset http.proxy它取消设置代理会恢复正常。

此外,我想问一下,在这种情况下,我成功地git clone使用了存储库git,如何在 Julia 本地安装此包,以便跳过代理问题?

Neg*_*ito 0

尝试了很多方法都失败了,唯一的解决办法是在Windows上配置系统代理。

开始菜单 => 代理设置 => 使用代理服务器 => 保存