diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-09 13:38:02 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-09 13:38:02 +0000 |
| commit | 6f442e774b9236c999f36c2d7af17640f49bff99 (patch) | |
| tree | 47e73755bffd41bdde2d59d76cc595f5a1fa75d4 /Dockerfile | |
| parent | Initial commit. (diff) | |
| download | gitlint-upstream.tar.xz gitlint-upstream.zip | |
Adding upstream version 0.19.1.upstream/0.19.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..641296e --- /dev/null +++ b/Dockerfile @@ -0,0 +1,17 @@ +# To lint your current working directory: +# docker run --ulimit nofile=1024 -v $(pwd):/repo jorisroovers/gitlint + +# With arguments: +# docker --ulimit nofile=1024 run -v $(pwd):/repo jorisroovers/gitlint --debug --ignore T1 + +# NOTE: --ulimit is required to work around a limitation in Docker +# Details: https://github.com/jorisroovers/gitlint/issues/129 + +FROM python:3.11.2-alpine +ARG GITLINT_VERSION + +RUN apk add git +RUN pip install gitlint==$GITLINT_VERSION + +RUN git config --global --add safe.directory /repo +ENTRYPOINT ["gitlint", "--target", "/repo"] |