我们使用现有 list 在本地发起了一个 repo 。
repo init -u ssh://ger-repository/my_project-manifests -m my_manifest.xml --mirror
现在, list 文件发生了变化。无法运行 init 命令:
fatal: --mirror not supported on existing client
我们如何在不删除所有镜像文件夹并再次重新同步的情况下更新 list ?
最佳答案
这可能是不可能的,考虑到 this patch建议将该错误消息替换为:
fatal: --mirror is only supported when initializing a new workspace.
Either delete the .repo folder in this workspace, or initialize in another location.
如果这是关于相同的 repo 协议(protocol),但具有不同的 URL,则 this thread提到:
If you've been able to clone all the gits you're almost there, just use the insteadOf trick on the clients if the relative URLs aren't available in the manifest you're mirroring.
[url "https://yourserver.example.com/"]
insteadOf = https://android.googlesource.com/
关于android - Repo(GIT)如何在使用镜像时更新 list 文件?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51915115/