From ed74a7051a2b09917ce1f4ffd2335f3bda13c668 Mon Sep 17 00:00:00 2001
From: Hamish Cunningham <hamish@gate.ac.uk>
Date: Wed, 17 May 2023 13:17:14 +0100
Subject: [PATCH] run docker container as non root user

---
 utils.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils.sh b/utils.sh
index 5673fe47..5f4168e5 100755
--- a/utils.sh
+++ b/utils.sh
@@ -166,7 +166,7 @@ build-docker|docker-build)
 ;;
 
 docker)
-    docker run --rm -it -v "$PWD":/willow -e TERM "$DOCKER_IMAGE" /bin/bash
+    docker run --user build --rm -it -v "$PWD":/willow -e TERM "$DOCKER_IMAGE" /bin/bash
 ;;
 
 flash)