From 0d1ee950b8fb7c751753309a49dae20283758edc Mon Sep 17 00:00:00 2001 From: "Matthieu Baerts (NGI0)" Date: Thu, 24 Oct 2024 11:07:27 +0200 Subject: [PATCH] auto: run_cmd: unique file name Just in case the same executable is used. And use the basename just in case a full path is used. Signed-off-by: Matthieu Baerts (NGI0) --- entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 8898aa3..91dbcfc 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -1140,7 +1140,7 @@ run_loop() { # args: what needs to be executed run_cmd() { - _tap "${RESULTS_DIR}/cmd_\${1}" "\${@}" + _tap "${RESULTS_DIR}/cmd_\$(basename "\${1}")_\$(mktemp -u XXXXXX)" "\${@}" } set_max_threads