Compare commits
4 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 39796e7d68 | |||
| 07802b9e20 | |||
| ca5d2ee5ee | |||
| 420d0df2e2 |
@ -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"
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user