From 39796e7d68012a7e0e9bd984f5d277a67a94d746 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20=C3=96rtenberg?= <erik.ortenberg@gmail.com>
Date: Fri, 14 Mar 2025 15:25:41 +0100
Subject: [PATCH] made ghdl use current UID/GID instead of root

---
 scripts/ghdl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/ghdl b/scripts/ghdl
index 409d0f5..b7d3b7f 100755
--- a/scripts/ghdl
+++ b/scripts/ghdl
@@ -2,5 +2,7 @@
 VARS="$@"
 COMMAND="ghdl $VARS"
 PROJ_HOME=/home/thesis1/repos/exjobb-public
+USER_ID=$(id -u "$USER")
+GROUP_ID=$(id -g "$USER")
 RELPATH=$(realpath -m --relative-to="$PROJ_HOME" .)
-docker run -it -v "$PROJ_HOME"/src:/src -w /"$RELPATH" ghdl/ghdl:5.0.0-dev-gcc-ubuntu-24.04 bash -c "$COMMAND" 
+docker run -it -v "$PROJ_HOME"/src:/src -w /"$RELPATH" --user "$USER_ID":"$GROUP_ID" ghdl/ghdl:5.0.0-dev-gcc-ubuntu-24.04 bash -c "$COMMAND"