#!/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 "$@"