ops: control pi image (docker CLI + sock) + AGENTS.md workspace-preparation instructions

2026-08-18 20:56:12 +02:00
parent 66c90e48bb
commit 8fcaeb7c03
3 changed files with 118 additions and 0 deletions
@@ -0,0 +1,9 @@
+#!/bin/sh
+# Seed AGENTS.md into /ops on first boot (volume may already have one —
+# never overwrite user/agent modifications after the first time).
+set -eu
+if [ ! -f /ops/AGENTS.md ]; then
+  mkdir -p /ops
+  cp /ops-seed/AGENTS.md /ops/AGENTS.md
+fi
+exec "$@"