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"