update documentation

2026-08-15 17:55:33 +02:00
parent 39a16e8650
commit 520ce45a50
5 changed files with 111 additions and 2 deletions
@@ -0,0 +1,7 @@
+.docname {Docker}
+.include {docs}
+
+Install the package `docker`. Make sure that the user is in the group `docker`:
+`sudo usermod -aG docker $USER`.
+
+If the group does not yet exist, it can be created with `groupadd -r docker`.