diff options
| -rwxr-xr-x | msci | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -84,13 +84,13 @@ run_project() { env_secrets+=("$secret_key=/$secret_name") done fi - ! docker runawk --rm \ + ! docker run --rm \ "${env_secrets[@]/#/--env=}" \ --mount type=bind,source="$repo_path",target=/"$repo_name" \ "${secret_mounts[@]}" \ --workdir="/$repo_name" \ "$pimage" \ - sh -c "exec $prun" | tee -a "$2" && echo "docker failed" | tee -a "$2" && exit 1 + sh -c "$prun" | tee -a "$2" && echo "docker failed" | tee -a "$2" && exit 1 done (popd &>/dev/null && rm -rf "$repo_path") || echo "failed to delete tmp repo" | tee -a "$2" && exit 1 |