diff options
-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 |