path: root/Biz/Ide/run.sh

#!/usr/bin/env bash
set -eu
target=$1
shift
out=$(rg --only-matching ": out (\w*)" -r '$1' "$target")
exec "${CODEROOT:?}/_/bin/$out" "$@"