diff options
| -rw-r--r-- | shell-scripts/compile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/shell-scripts/compile b/shell-scripts/compile index 61ce9a9..8e74ffa 100644 --- a/shell-scripts/compile +++ b/shell-scripts/compile @@ -7,9 +7,14 @@ error () { } case "${@}" in + racket*) + shift + echo " \-> racket -l errortrace -t ${@}" + racket -l errortrace -t ${@} + ;; ansible-lint*) - echo " \-> ansible-lint" shift + echo " \-> ansible-lint --profile production --write=all -qq --nocolor" ansible-lint --profile production --write=all -qq --nocolor ${@} ;; awx*) |