7 commits

Author	SHA1	Message	Date
Nicolas Jeannerod	9c08267fce	Clean up what does not belong in services	2024-11-14 18:04:02 +01:00
Nicolas Jeannerod	a888540580	Opt-in to formatting for the services/ subdirectory	2024-11-14 17:50:17 +01:00
Nicolas Jeannerod	81176a1a9a	Format everything, RFC-style	2024-11-13 16:00:39 +01:00
Nicolas Jeannerod	36b622895a	Support installing host keys in the installer	2024-11-13 16:00:39 +01:00
Nicolas Jeannerod	9d04ce7c99	Slight rework of the installer	2024-11-13 16:00:39 +01:00
Nicolas Jeannerod	271315747b	Turn off the machine once if install is successful	2024-11-13 16:00:39 +01:00
Valentin Gagarin	c6cc92f5dc	Add 'services/' from commit 'a13b1e9372412d03f7b629694ecef5242e6e568d' ... git-subtree-dir: services git-subtree-mainline: e41e0daa82 git-subtree-split: a13b1e9372	2024-10-07 11:57:24 +02:00