On 3/2/2023 14:22, Ryan Schmidt wrote:
Generating the portindex from scratch takes hours, but just updating a slightly out-of-date portindex with the latest changes shouldn't take that long. Also, the slightly outdated portindex on the public rsync servers should correspond exactly to their slightly outdated collection of ports so no updating should be needed.
I was avoiding going into too much detail before, but depending on the exact timing of the power going out and the mirror syncing from the origin, it's possible that the indices for some subset of OS versions could be one update behind the ports tree. But I haven't checked whether that's actually the case.
- Josh
