update software documentation

2026-08-09 19:14:18 +02:00
parent 470942665e
commit 39a16e8650
7 changed files with 222 additions and 0 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`.