dev-up.sh: DEV-Container neu bauen und starten, auch als post-commit-Hook

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TiXsPUqw7oeomZ8wZrQW5q

githooks/post-commit

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+# Nach jedem Commit den DEV-Container im Hintergrund neu bauen und starten,
+# damit der Commit nicht auf den Build wartet. Ausgabe: .git/dev-up.log
+# Aussetzen für einen Commit: KVER_NO_DEV_UP=1 git commit ...
+[[ -n "${KVER_NO_DEV_UP:-}" ]] && exit 0
+root="$(git rev-parse --show-toplevel)"
+nohup "$root/dev-up.sh" >"$root/.git/dev-up.log" 2>&1 </dev/null &
+echo "dev-up: DEV-Container wird neu gebaut (Log: .git/dev-up.log)"