chore(dotfiles): streamline workstation configuration workflows

2026-08-25 00:00:55 +02:00
parent a81bbf5115
commit 4a20edba5c
12 changed files with 279 additions and 18 deletions
@@ -0,0 +1,3 @@
+#!/usr/bin/env sh
+# Repository-local Decman interface; avoids changing the system `decman` command.
+exec "$(dirname "$0")/scripts/decman_cli.py" "$@"