Commit graph

22 commits

Author SHA1 Message Date
640451bfaa avoid attempting to download the big [tm] archive 2022-09-07 08:40:40 +02:00
6f9d5706cc WIP: use tar 2022-09-06 09:55:00 +02:00
ef2ec2e946 add a hook_url to conduct a git pull 2022-09-04 14:52:42 +02:00
3d1bb6c153 unikernel: remove unused module type DNS 2022-09-04 13:25:33 +02:00
7d4387807b minor 2022-09-04 10:28:38 +02:00
f62f2a09ce in addition to retrieve stuff, also serve a repository:
- archive cache
- repository (index.tar.gz) dynamically created from tarball
- repo file (generated including the commit id and repository URL)
2022-09-04 10:01:45 +02:00
d03cd65dcd Fix a leak of fd from h2 - we must shutdown the connection to really close the fd 2022-09-01 09:50:53 +02:00
3aca170154 use a direct_kv_rw (unix only) 2022-09-01 09:32:29 +02:00
a3fdc527d2 new flag: key-hex to specify whether the KV-keys should be hex-encoded or raw binary 2022-09-01 09:31:53 +02:00
6d51eb707b minor: silence warnings 2022-09-01 09:30:46 +02:00
a1e4b71eb9 unikernel: new flag --check to only check data (and hashes) on disk 2022-09-01 09:30:11 +02:00
c16f2288ed Use Status.is_redirection instead of matching on the polymorphic variant
The reason behind this is that the new HTTP code 308 (permanent redirect)
is not recognized by HTTP/AF, but already used (e.g. by alt-ergo.ocamlpro.com).
2022-09-01 09:27:03 +02:00
86c961f5cf less debug 2022-08-31 16:25:04 +02:00
030e6d8ab7 Limit the number of concurrent downloads
At the moment this is hardcoded to 20 concurrent downloads.
2022-08-30 16:51:55 +02:00
236e09b7e0 First PoC about a native HTTP client on Mirage with mimic/paf/httpaf/h2 2022-08-30 16:12:55 +02:00
5d86452f5f (a) paf 0.1.0 is released now, which works fine (no pins needed)
(b) use 16 as program_block_size, not 512 - this results in a working unikernel
(c) report data pushed into the map
2022-08-30 11:35:28 +02:00
c3d66b96b1 use chamelon to store 2022-08-26 17:23:46 +02:00
cd3294ebe3 only download stuff that is not present 2022-08-26 15:34:20 +02:00
a61f944d4f read and dump to a kv, taking csums into account 2022-08-26 15:18:02 +02:00
6fe03ce867 git clone and extract urls & checksums 2022-08-25 22:47:46 +02:00
788f58d3cf minor: no console 2022-08-25 15:13:42 +02:00
8b5bfdd789 initial commit 2022-08-25 14:57:03 +02:00