add init

2026-04-23 13:00:30 +02:00
parent e6b48bf14b
commit 4b234990af
2 changed files with 12 additions and 5 deletions
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+# Must be sourced: source init.sh
+
+if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
+    echo "Error: run as 'source init.sh' or '. init.sh'" >&2
+    exit 1
+fi
+
+uv sync
+source .venv/bin/activate