Delete unused stuff

2025-01-24 22:58:34 +01:00
parent c3191eb3b8
commit a59982b463
20 changed files with 5 additions and 469 deletions
@@ -12,11 +12,11 @@ nix develop
 ## `misc.yaml`

 Server for miscellaneous stuff, e.g. the website.
-Expects to have a user `andi` who can `sudo`.
+Expects to have a user `paul who can `sudo`.
 Sets up:

 - Some basic packages
- Docker and `docker-compose` (the latter via `pip`)
+- Docker and `docker-compose`
 - Nix multi-user installation

 ## `misc-docker.yaml`