Adopt scripts-to-rule-them-all: script/ entrypoints, Makefile shims, policy update

2026-07-06 22:00:25 +02:00
parent cc5d877779
commit 871569c78d
15 changed files with 217 additions and 36 deletions
--- a/script/docker
+++ b/script/docker
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+# script/docker: build the Docker image.
+set -euo pipefail
+
+ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)"
+
+main() {
+    cd "$ROOT"
+    docker build -t prompts .
+}
+
+main "$@"