From de4c328d8c71f4e08f2302bbd6db8145f6d7eece Mon Sep 17 00:00:00 2001 From: Joris Roovers Date: Tue, 13 Dec 2022 10:45:14 +0100 Subject: [PATCH] Removes Dockerfile.dev (#390) Dockerfile.dev was never fully adopted for development of gitlint. Remove it to reduce maintenance overhead. --- Dockerfile | 2 -- Dockerfile.dev | 17 ----------------- 2 files changed, 19 deletions(-) delete mode 100644 Dockerfile.dev diff --git a/Dockerfile b/Dockerfile index d77b5bfc..08419342 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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 diff --git a/Dockerfile.dev b/Dockerfile.dev deleted file mode 100644 index 5cd17397..00000000 --- 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"]