From e47ea8d9aa18a30c33156b9d34d13b62c5f5364b Mon Sep 17 00:00:00 2001
From: Dennis Real <github@tildepipe.org>
Date: Mon, 22 Dec 2025 10:37:43 +0100
Subject: [PATCH] use user permissions in docker build

---
 compile-with-docker.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compile-with-docker.sh b/compile-with-docker.sh
index eff26ccb..e4dfb2cf 100755
--- a/compile-with-docker.sh
+++ b/compile-with-docker.sh
@@ -46,7 +46,9 @@ build_preset() {
   echo ""
   echo "=== 🚀 Building preset: ${preset} ==="
   echo "---------------------------------------------"
-  docker run --rm -it -v "$PWD":/src -w /src "$IMAGE" \
+  docker run --rm \
+    -u $(id -u):$(id -g) \
+    -it -v "$PWD":/src -w /src "$IMAGE" \
     bash -c "which arm-none-eabi-gcc && arm-none-eabi-gcc --version && \
              cmake --preset ${preset} ${EXTRA_ARGS[@]+"${EXTRA_ARGS[@]}"} && \
              cmake --build --preset ${preset} -j"