From 5f638cad64b983c1fcb30fe8cda25574f3270046 Mon Sep 17 00:00:00 2001 From: Vilem Ded <vilem.ded@uni.lu> Date: Fri, 19 Jun 2020 14:15:44 +0200 Subject: [PATCH] setting UID for docker container --- contribute.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contribute.sh b/contribute.sh index 236fdf1e..ce44bb55 100755 --- a/contribute.sh +++ b/contribute.sh @@ -32,4 +32,4 @@ fi # launch the docker file cmd="python contribute.py --date=\"$parameterDate\" --name=\"$parameterName\"" -docker run -p $dockerPort:$dockerPort -it -v $(pwd)/:/presentation $dockerImg /bin/bash -c "$cmd" +docker run -p $dockerPort:$dockerPort --user $UID:$UID -it -v $(pwd)/:/presentation $dockerImg /bin/bash -c "$cmd" -- GitLab