Alexander Larsson e6d7a1148e
summaries: Cache subsummaries per-arch ...
We store the cached subsummaries as `$remote-$arch-digest.sub`, this
way we can prune everything but the most recent (i.e. highest mtime)
rather than looking at the index. This way we don't prune old
subsummaries for other arches when we update one arch, which would not
let us use deltas for those.
Some details:
* If mtimes are identical (mtime precision issue) for several
subsummaries we keep all.
* If we just saved a subsummary in the cache we don't prune that
in case there is something wonky with mtimes.
The subsets for a remote are pruned every time we write a new cached
subsummary.
2020-10-29 15:30:35 +01:00
2019-10-03 10:42:04 +02:00
2019-12-19 16:52:58 +01:00
2019-12-19 10:33:21 +01:00
2020-05-04 16:32:22 +02:00
2019-02-25 18:12:30 +00:00
2018-05-24 11:59:52 +00:00
2019-12-12 17:02:02 +01:00
2020-03-16 12:30:49 +01:00
2019-09-19 16:53:11 +00:00
2019-09-19 16:53:11 +00:00
2019-11-27 14:21:25 +01:00
2020-08-27 17:48:50 +02:00
2020-09-15 08:58:49 +02:00
2020-10-29 15:30:35 +01:00
2020-10-29 15:30:35 +01:00
2018-05-24 11:59:52 +00:00
2018-05-24 11:59:52 +00:00
2019-02-25 18:12:30 +00:00
2020-06-09 14:52:00 +02:00
2020-09-14 11:12:25 +02:00
2020-09-15 08:58:49 +02:00
2019-10-02 14:57:11 +02:00
2020-10-09 16:57:57 +02:00
2020-10-08 09:15:20 +02:00
2019-10-03 10:42:04 +02:00
2020-03-23 17:58:04 +01:00
2019-10-03 10:42:04 +02:00
2020-06-05 16:36:13 +02:00
2020-06-05 16:36:13 +02:00
2019-02-25 18:12:30 +00:00
2020-06-05 09:35:30 +02:00
2020-06-11 15:57:39 +02:00
2018-08-09 12:49:36 +00:00
2020-03-16 09:29:31 +01:00
2020-06-05 09:35:30 +02:00
2020-09-15 08:58:49 +02:00
2019-10-03 10:42:04 +02:00
2019-11-08 00:30:44 +09:00
2018-04-26 07:41:17 +00:00
2019-12-01 14:04:59 -05:00
2020-03-27 17:23:13 +01:00
2020-09-14 09:30:14 +02:00
2020-10-08 09:14:51 +02:00
2020-10-02 15:30:58 +02:00
2020-03-23 17:58:04 +01:00
2020-03-23 17:58:04 +01:00
2018-07-08 10:05:37 +00:00
2020-03-25 08:52:28 +01:00
2020-03-23 17:58:04 +01:00
2020-03-24 16:15:23 +01:00
2018-05-24 11:59:52 +00:00
2020-07-21 08:59:22 +02:00
2019-05-09 12:39:36 +00:00
2020-06-09 13:51:02 +02:00
2020-10-15 09:24:14 +01:00
2020-10-29 15:30:35 +01:00
2020-10-29 15:30:35 +01:00
2020-10-09 16:57:57 +02:00
2019-09-30 12:15:36 +02:00
2020-06-23 09:37:30 +02:00
2020-08-10 15:20:59 +02:00
2020-10-12 11:04:40 +02:00
2020-10-29 15:30:35 +01:00
2020-10-29 15:30:35 +01:00
2019-12-02 07:45:51 -05:00
2020-06-05 09:35:30 +02:00
2020-06-05 09:35:30 +02:00
2018-05-24 11:59:52 +00:00
2018-10-08 08:36:23 +00:00
2020-10-29 15:30:35 +01:00
2020-09-15 08:58:49 +02:00
2019-04-08 12:50:42 +00:00
e6d7a1148e