summaryrefslogtreecommitdiff
path: root/Biz/Ide
diff options
context:
space:
mode:
Diffstat (limited to 'Biz/Ide')
-rwxr-xr-xBiz/Ide/repl6
-rwxr-xr-xBiz/Ide/tidy2
-rwxr-xr-xBiz/Ide/tips1
3 files changed, 8 insertions, 1 deletions
diff --git a/Biz/Ide/repl b/Biz/Ide/repl
index 1d94e47..1401218 100755
--- a/Biz/Ide/repl
+++ b/Biz/Ide/repl
@@ -30,6 +30,7 @@ fi
sysdeps=$(jq --raw-output '.[].sysdeps | join(" ")' <<< $json)
exts=$(jq --raw-output '.[].namespace.ext' <<< $json | sort | uniq)
packageSet=$(jq --raw-output '.[].packageSet' <<< $json)
+ module=$(jq --raw-output '.[].mainModule' <<< $json)
BILD="(import ${BIZ_ROOT:?}/Biz/Bild.nix {})"
for lib in ${sysdeps[@]}; do
flags+=(--packages "$BILD.pkgs.${lib}")
@@ -64,8 +65,11 @@ fi
;;
Py)
langdeps="$langdeps mypy"
+ flags+=(--packages ruff)
flags+=(--packages "$BILD.bild.python.pythonWith (p: with p; [$langdeps])")
- command=${CMD:-"python -i $targets"}
+ PYTHONPATH=$BIZ_ROOT:$PYTHONPATH
+ pycommand="python -i $BIZ_ROOT/Biz/Repl.py $module ${targets[@]}"
+ command=${CMD:-"$pycommand"}
;;
*)
echo "unsupported targets: ${targets[@]}"
diff --git a/Biz/Ide/tidy b/Biz/Ide/tidy
new file mode 100755
index 0000000..edea828
--- /dev/null
+++ b/Biz/Ide/tidy
@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+rm -f $BIZ_ROOT/_/bin/*
diff --git a/Biz/Ide/tips b/Biz/Ide/tips
index 1b998e6..21808eb 100755
--- a/Biz/Ide/tips
+++ b/Biz/Ide/tips
@@ -9,4 +9,5 @@ echo " tips show this message"
echo " lint auto-lint all changed files"
echo " push send a namespace to the cloud"
echo " ship lint, bild, and push one (or all) namespace(s)"
+echo " tidy cleanup common working files"
echo ""