diff --git a/ci/run_docker.sh b/ci/run_docker.sh index 9f81e68143..d3b78c3af9 100755 --- a/ci/run_docker.sh +++ b/ci/run_docker.sh @@ -11,7 +11,7 @@ docker image inspect "$BUILD_IMAGE" &> /dev/null || { } if [[ $# -ge 1 ]]; then - docker run -v "$PWD":/src -w /src -it "$BUILD_IMAGE" "$@" + docker run --user "$(id -u):$(id -g)" -v "$PWD":/src -w /src -it "$BUILD_IMAGE" "$@" else docker run -v "$PWD":/src -w /src --privileged -it "$BUILD_IMAGE" /bin/bash -l fi