juliaup 镜像同步问题

export JULIAUP_SERVER=https://mirrors.tuna.tsinghua.edu.cn/julia-releases
juliaup self update    # 得到旧版本juliaup, 不同步到新版本

juliaup 的国内镜像服务站 里的 RELEASECHANNELVERSION 更新总是不同步, 导致用镜像站 更新升级 juliaup 会得到旧版本的juliaup.

这已知是镜像服务的bug, 希望维护者进行跟踪和修复, 如果是上游的问题, 请上报issue.

JohnnyChen( ) 14:23:13
@zsz 这个事情之前好像说过. 是因为 s3 的设计原因导致的:s3 在做增量同步的时候似乎只比较文件大小.

JohnnyChen( ) 14:24:11
如果要做的话就是要么在各个镜像站再补一个对这几个文件的强制同步,要么就是改 juliaup 的代码去从官方源获取版本信息.

woclass( ) 14:28:26
JohnnyChen @zsz 这个事情之前好像说过. 是因为 s3 的设计原因导致的:s3 在做增量同步的时候似乎只比较文件大小.
我查的 s3 sync 的文档,需要指定 --size-only 才是只看大小
https://awscli.amazonaws.com/v2/documentation/api/latest/reference/s3/sync.html

JohnnyChen( ) 14:29:13
但镜像站的s3可能还真就是这么玩的…? 上次问过池先生交大镜像站的 juliaup 同步问题他是这么告诉我的.
所以我就没有去深究了

zsz( ) 14:33:17
那能怎么能给 镜像站的s3 改配置或提issue?
是在julaiup repo吗?

JohnnyChen( ) 14:35:36
应该是尝试和国内镜像站的各个维护者沟通了…