run cmd with python3

ika-rwth-aachen · Jun 9, 2023 · 1ec1152 · 1ec1152
1 parent 861648c
commit 1ec1152
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker-run/scripts/docker-run b/docker-run/scripts/docker-run
@@ -22,7 +22,7 @@ fi
 
 # generate docker run/exec command
 CMD_FILE=$(mktemp)
-python -m docker_run "${@}" 2>&1 >$CMD_FILE
+python3 -m docker_run "${@}" 2>&1 >$CMD_FILE
 CMD=$(cat $CMD_FILE)
 rm $CMD_FILE