From 9ea275a2e72fb7eee38d32be2f955a2a05ced682 Mon Sep 17 00:00:00 2001 From: Mike Vink Date: Sun, 23 Apr 2023 22:37:39 +0200 Subject: fixup --- shell-scripts/compile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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*) -- cgit v1.2.3