From 11b995a491978ad899e0555ceea7e20f10822766 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 9 Feb 2022 22:28:10 -0500
Subject: Add run script and rewrite ns

---
 Biz/Ide/run | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 Biz/Ide/run

(limited to 'Biz/Ide/run')

diff --git a/Biz/Ide/run b/Biz/Ide/run
new file mode 100755
index 0000000..49cd72d
--- /dev/null
+++ b/Biz/Ide/run
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -eu
+target=$1
+shift
+out=$(rg --only-matching ": out (\w*)" -r '$1' $target)
+exec "$BIZ_ROOT/_/bin/$out" "$@"
-- 
cgit v1.2.3