add user id argument when running the docker container

testingautomated-usi · Aug 1, 2024 · 0013bf3 · 0013bf3
1 parent 5aecbd3
commit 0013bf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -5,7 +5,7 @@
 ```commandline
 
 docker build -t muprl:latest .
-docker run --gpus all -it --rm --mount type=bind,source="$(pwd)",target=/home/muPRL --workdir /home/muPRL --name muPRL-container muprl:latest
+docker run --gpus all -it -u ${UID} --rm --mount type=bind,source="$(pwd)",target=/home/muPRL --workdir /home/muPRL --name muPRL-container muprl:latest
 
 ```