diff --git a/scripts/run-docker.sh b/scripts/run-docker.sh
index 9d97b2596da3b15eced69a762df0f3e78dc16804..00dfa1bd63acc736aa6f61b56ac6b5298b491063 100755
--- a/scripts/run-docker.sh
+++ b/scripts/run-docker.sh
@@ -53,7 +53,7 @@ while true; do
 done
 
 # launch docker
-docker run -it --rm \
+docker run -it --rm --user $(id -u):$(id -g)\
        --name "lustrec_docker_run" \
        -v ${TMP_DIR}:/tmp -v ${PWD}:/home/opam/lustrec \
        ${CONTAINER_ID} $@