Merge branch 'docker-allow-all-whisker-subcommands' into 'master'

Allow any Whisker subcommand when using docker See merge request se2/whisker/whisker-main!330
se2p · Sep 22, 2022 · f4547fd · f4547fd
2 parents 9bccf65 + 8e13fec
commit f4547fd
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/servant/whisker-docker.sh b/servant/whisker-docker.sh
@@ -15,11 +15,7 @@ whisker() {
     # Make sure to use `exec` here (instead of `eval`). This allows Whisker to receive any
     # Unix signals sent to this wrapper script. See:
     # https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#entrypoint
-    exec node servant.js generate \
-        -d \
-        -k \
-        -l \
-        "$@"
+    exec node servant.js "$@" -d -k -l
 }
 
 print_info() {