diff options
author | Ben Sima <ben@bsima.me> | 2021-08-31 15:30:42 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:38 -0500 |
commit | c064dcabccc957fc72ae97561dd70de7e939c418 (patch) | |
tree | 026b48b7e37e856674c658fc9df372563de412b7 /Biz | |
parent | 09882de5f3cbfd62d59b9ec94723a90d67555b7d (diff) |
Small Ide improvements
Diffstat (limited to 'Biz')
-rwxr-xr-x | Biz/Ide/ns | 3 | ||||
-rwxr-xr-x | Biz/Ide/ship | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -12,7 +12,8 @@ fi $VERB $NS -read -p "n: change ns, v: change verb, b: change both, ^C: exit, else: continue" -n 1 input +printf "\nn:\tchange ns\nv:\tchange verb\nb:\tchange both\n^C:\texit\nelse:\tcontinue\n" +read -p " ns> " -n 1 input if [[ $input == "v" ]] then diff --git a/Biz/Ide/ship b/Biz/Ide/ship index 9a17d99..dd85908 100755 --- a/Biz/Ide/ship +++ b/Biz/Ide/ship @@ -10,7 +10,7 @@ then # Hero/Prod.nix # disabled bc herocomcis.app domain is broken ) fi -lint \ +lint ${stuff[@]} \ && bild --test ${stuff[@]} \ && for thing in ${stuff[@]} do |