Tools: docker_run.sh fix entrypoint as user

- modern docker can specify the user at runtime (--user)
This commit is contained in:
Daniel Agar
2025-02-18 00:26:06 -05:00
committed by GitHub
parent 38de04a53a
commit 90b2290700
2 changed files with 2 additions and 16 deletions
+1 -1
View File
@@ -47,6 +47,7 @@ CCACHE_DIR=${HOME}/.ccache
mkdir -p "${CCACHE_DIR}"
docker run -it --rm -w "${SRC_DIR}" \
--user="$(id -u):$(id -g)" \
--env=AWS_ACCESS_KEY_ID \
--env=AWS_SECRET_ACCESS_KEY \
--env=BRANCH_NAME \
@@ -54,7 +55,6 @@ docker run -it --rm -w "${SRC_DIR}" \
--env=CI \
--env=CODECOV_TOKEN \
--env=COVERALLS_REPO_TOKEN \
--env=LOCAL_USER_ID="$(id -u)" \
--env=PX4_ASAN \
--env=PX4_MSAN \
--env=PX4_TSAN \