diff options
| author | Jan Sucan <jan@jansucan.com> | 2024-04-26 08:55:12 +0200 |
|---|---|---|
| committer | Ján Sučan <jan@jansucan.com> | 2024-04-27 16:16:36 +0200 |
| commit | 7f276fb89d659ad86bf2b862f4de4ed3c362d3d6 (patch) | |
| tree | 354dd8a7805fe0b46b623c25882aba985e9cf156 /devel_tools/ci_container/run.sh | |
| parent | 6b9ac739e5338dfb3e8729c9aea0b29d2d3db01a (diff) | |
devel_tools: Add CI Docker image
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 "$@" |