diff options
Diffstat (limited to 'devel_tools/ci_container/run.sh')
| -rw-r--r-- | devel_tools/ci_container/run.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel_tools/ci_container/run.sh b/devel_tools/ci_container/run.sh new file mode 100644 index 0000000..ea01ee1 --- /dev/null +++ b/devel_tools/ci_container/run.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +USER_UID=$(id -u) +USER_GID=$(id -g) + +# Intended to run from root directory of the project +docker run -v .:/diff-dd ghcr.io/jansucan/diff-dd-ci $USER_UID $USER_GID "$@" |