summaryrefslogtreecommitdiffstats
path: root/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile12
1 files changed, 7 insertions, 5 deletions
diff --git a/Dockerfile b/Dockerfile
index b66bb71..641296e 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,15 +1,17 @@
-# User-facing Dockerfile. For development, see Dockerfile.dev and ./run_tests.sh -h
-
# To lint your current working directory:
-# docker run -v $(pwd):/repo jorisroovers/gitlint
+# docker run --ulimit nofile=1024 -v $(pwd):/repo jorisroovers/gitlint
# With arguments:
-# docker run -v $(pwd):/repo jorisroovers/gitlint --debug --ignore T1
+# 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.8-alpine
+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"]