关于安装未注册库的问题

小弟这几天在安装一个三年未更新的包juliboots,由于其在github上没有项目文件.toml,Julia最新版本没法使用,所以下载了juliav0.7来安装该包。
尝试了线上下载和线下下载两种方式,线下下载参考https://discourse.juliacn.com/t/topic/2918
已经成功的进行了git clone,但是在进行最后的add package的时候出现以下报错:
(v0.7) pkg> add “/Users/…/JuliBoots”

Cloning default registries into /Users/…/.julia/registries

Cloning registry General from “https://github.com/JuliaRegistries/General.git

ERROR: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:Net, curl error: Failed to connect to github.com port 443: Operation timed out

)
错误里面是说无法从 "https://github.com/JuliaRegistries/General.git"当中克隆,但是首先我已经git clone了代码,理论上只需要线下安装即可,其次我的这个库并不在官方的已经注册的库当中,为什么要从https://github.com/JuliaRegistries/General.git当中复制信息?
线上的安装也是一样的出现同样的报错。
本人是Julia小白,刚刚入门两三天,求大佬们指点一二,两三天都卡在库的安装太痛苦了QAQ
最后附上package的安装指南arXiv1412.4127:

可能是 julia 就想更新下包的注册表,挂个代理应该就好了。

已经使用了代理,访问github,google啥的都很快,但还是报错

那有可能是代理设置有问题. 试一下给git设置代理, 不要忘了最后的/ , 比如 http://xxx.xxx.xx.xx:xxxx/

感谢,已经解决了,原因是我挂梯子却忘记修改hosts文件里面github的ip地址

京ICP备17009874号-2