diff options
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 4 | ||||
| -rw-r--r-- | Dockerfile.dev | 17 |
2 files changed, 1 insertions, 20 deletions
@@ -1,5 +1,3 @@ -# User-facing Dockerfile. For development, see Dockerfile.dev and ./run_tests.sh -h - # To lint your current working directory: # docker run --ulimit nofile=1024 -v $(pwd):/repo jorisroovers/gitlint @@ -9,7 +7,7 @@ # NOTE: --ulimit is required to work around a limitation in Docker # Details: https://github.com/jorisroovers/gitlint/issues/129 -FROM python:3.11.0-alpine +FROM python:3.11.2-alpine ARG GITLINT_VERSION RUN apk add git diff --git a/Dockerfile.dev b/Dockerfile.dev deleted file mode 100644 index 5cd1739..0000000 --- a/Dockerfile.dev +++ /dev/null @@ -1,17 +0,0 @@ -# Note: development using the local Dockerfile is still work-in-progress -# Getting started: http://jorisroovers.github.io/gitlint/contributing/ -ARG python_version_dotted - -FROM python:${python_version_dotted}-stretch - -RUN apt-get update -# software-properties-common contains 'add-apt-repository' -RUN apt-get install -y git silversearcher-ag jq curl - -ADD . /gitlint -WORKDIR /gitlint - -RUN pip install --ignore-requires-python -r requirements.txt -RUN pip install --ignore-requires-python -r test-requirements.txt - -CMD ["/bin/bash"] |