Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date
that's a good suggestion. yes we should :) (I noticed we already use Marshal for the md5/sha512 maps)
Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date
specify sizes of partitions in MB, not in sectors
I don't recall why we used sectors in the first place. I know that nowadays the sector_size is configurable, and it is much more convenient to specify sizes in terms of MB.
WIP: Cache only version
Ah, but maybe it is a cache that understands opam and retrieves all the needed artifacts in the cache upfront!?
WIP: Cache only version
I do like the idea of purely acting as a cache... but then I wonder what the advantage over a "normal" HTTP caching proxy (such as squid in the old days) is?
Basically for each HTTP request, do…
specify sizes of partitions in MB, not in sectors
add some Lwt.pause during Disk.check to allow the web server to process requests
Git to/of_octets and startup
From further discussion, it became clear to me:
- revise partitions: add space for index.tar.gz etc.
- also increase git dump partition and play around with level
At startup, always check the digests of the files
Different URL with same checksum
Take the
mirror into account in url