summaryrefslogtreecommitdiffstats
path: root/Dockerfile.dev
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2023-03-11 08:03:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2023-03-11 08:03:03 +0000
commitde139943d8272773b5f19ed824d687b0232b9ba3 (patch)
tree47e73755bffd41bdde2d59d76cc595f5a1fa75d4 /Dockerfile.dev
parentAdding upstream version 0.19.0~dev. (diff)
downloadgitlint-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 'Dockerfile.dev')
-rw-r--r--Dockerfile.dev17
1 files changed, 0 insertions, 17 deletions
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"]