Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/git/23.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Julia 1.6:can';在Windows上使用代理(但只有git可以)克隆git_Git_Proxy_Julia - Fatal编程技术网

Julia 1.6:can';在Windows上使用代理(但只有git可以)克隆git

Julia 1.6:can';在Windows上使用代理(但只有git可以)克隆git,git,proxy,julia,Git,Proxy,Julia,我尝试在我的git上使用代理配置来加快连接速度,我的配置是git config--global http.proxy socks5://127.0.0.1:1080,它可以与git配合使用。但是,应用此选项后,my Julia软件包安装失败,如下所示: (@v1.6) pkg> add IJulia Installing known registries into `C:\Users\kyu\.julia` Cloning registry from "https://githu

我尝试在我的
git
上使用代理配置来加快连接速度,我的配置是
git config--global http.proxy socks5://127.0.0.1:1080
,它可以与
git
配合使用。但是,应用此选项后,my 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')
如果我通过
git config--global--unset http.proxy
取消设置代理,它将恢复正常


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

尝试了许多方法,但都失败了,唯一的解决方案是在Windows上配置系统级代理


开始菜单=>Proxy settings=>使用代理服务器=>save

是否尝试添加尾部斜杠?即
“socks5://127.0.0.1:1080/”
。可能相关:而且。嗨,它不起作用。还要提到的是,Julia Pkg.add()在LINUX上可以很好地使用代理,但现在我在Windows上使用它,不起作用。。。