Better argument passing to bash.

Author: kevinbackhouse

scripts/run_seclab_agent.sh

@@ -7,9 +7,11 @@ fi
 
 mkdir -p logs
 
+# Note: this uses the trick described [here](https://unix.stackexchange.com/a/646335)
+# to pass extra command line arguments into `bash -c`.
 docker run -i \
        --mount type=bind,src="$PWD",dst=/app \
        --mount type=bind,src="./logs",dst=/root/.local \
        -e GH_TOKEN="$GH_TOKEN" -e AI_API_TOKEN="$AI_API_TOKEN" --entrypoint /bin/bash \
        "ghcr.io/githubsecuritylab/seclab-taskflow-agent" \
-       -c "pip install -q -e /app ; $*"
+       -c 'pip install -q -e /app ; exec "$@"' this-is-bash-dollar-zero "$@"