Ensure docker-built files are owned by the user instead of root

tomasz-lisowski · Jul 19, 2024 · 0f0255e · 0f0255e
1 parent 90792b7
commit 0f0255e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docker.sh b/docker.sh
@@ -4,4 +4,4 @@ set -o pipefail; # Don't hide errors within pipes.
 set -o errexit;  # Abort on non-zero exit status.
 
 docker build --progress=plain . -t tomasz-lisowski/swsim:1.0.0 2>&1 | tee docker.log;
-docker run -v .:/opt/swsim --tty --interactive --rm tomasz-lisowski/swsim:1.0.0;
+docker run --user $(id -u):$(id -g) -v .:/opt/swsim --tty --interactive --rm tomasz-lisowski/swsim:1.0.0;
diff --git a/lib/swicc b/lib/swicc