made ghdl use current UID/GID instead of root

This commit is contained in:
Erik Örtenberg 2025-03-14 15:25:41 +01:00
parent 07802b9e20
commit 39796e7d68

View File

@ -2,5 +2,7 @@
VARS="$@" VARS="$@"
COMMAND="ghdl $VARS" COMMAND="ghdl $VARS"
PROJ_HOME=/home/thesis1/repos/exjobb-public PROJ_HOME=/home/thesis1/repos/exjobb-public
USER_ID=$(id -u "$USER")
GROUP_ID=$(id -g "$USER")
RELPATH=$(realpath -m --relative-to="$PROJ_HOME" .) 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"