diff options
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/mktags | 2 | ||||
| -rwxr-xr-x | Biz/Ide/repl | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Biz/Ide/mktags b/Biz/Ide/mktags index ebad39a..b984fb1 100755 --- a/Biz/Ide/mktags +++ b/Biz/Ide/mktags @@ -2,7 +2,7 @@ # # script to generate tags automatically if there are none. # - set -euxo pipefail + set -euo pipefail files=$@ vimtags=${BIZ_ROOT:?}/tags emacstags=${BIZ_ROOT:?}/TAGS diff --git a/Biz/Ide/repl b/Biz/Ide/repl index e62c7b2..5a7b615 100755 --- a/Biz/Ide/repl +++ b/Biz/Ide/repl @@ -63,6 +63,7 @@ fi command=bash ;; Py) + langdeps="$langdeps pylint mypy" flags+=(--packages "$BILD.private.$packageSet (p: with p; [$langdeps])") command=${CMD:-"python -i $targets"} ;; |