From 94000f6b6d07b31151deccc4e3e1fdccf5b5c487 Mon Sep 17 00:00:00 2001
From: Leonard Kugis <leonard@kug.is>
Date: Sat, 31 Jan 2026 14:08:20 +0100
Subject: Added docker scripts

---
 tools/docker_stop.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 tools/docker_stop.sh

(limited to 'tools/docker_stop.sh')

diff --git a/tools/docker_stop.sh b/tools/docker_stop.sh
new file mode 100644
index 0000000..780a346
--- /dev/null
+++ b/tools/docker_stop.sh
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# @describe Stop a sandbox container (it will be removed if started with --rm).
+# @option --container! Container name/id to stop.
+
+main() {
+  local c="${argc_container}"
+  if docker ps --format '{{.Names}}' | grep -qx "$c"; then
+    docker stop "$c" >/dev/null
+    printf '{"container":"%s","status":"stopped"}\n' "$c" >> "$LLM_OUTPUT"
+  else
+    printf '{"container":"%s","status":"not-running"}\n' "$c" >> "$LLM_OUTPUT"
+  fi
+}
+
+eval "$(argc --argc-eval "$0" "$@")"
+
-- 
cgit v1.2.3