From 3f2721cb6b295319c3db745ec212e617b4f646cf Mon Sep 17 00:00:00 2001 From: Sven-Hendrik Haase Date: Mon, 19 Oct 2020 02:33:44 +0200 Subject: [PATCH] Change ci-only Dockerfile location --- base-devel/Dockerfile | 0 base/Dockerfile | 0 ci/base-devel/Dockerfile | 2 ++ ci/base/Dockerfile | 2 ++ ci/release.py | 4 ++-- 5 files changed, 6 insertions(+), 2 deletions(-) delete mode 100644 base-devel/Dockerfile delete mode 100644 base/Dockerfile create mode 100644 ci/base-devel/Dockerfile create mode 100644 ci/base/Dockerfile diff --git a/base-devel/Dockerfile b/base-devel/Dockerfile deleted file mode 100644 index e69de29..0000000 diff --git a/base/Dockerfile b/base/Dockerfile deleted file mode 100644 index e69de29..0000000 diff --git a/ci/base-devel/Dockerfile b/ci/base-devel/Dockerfile new file mode 100644 index 0000000..44879eb --- /dev/null +++ b/ci/base-devel/Dockerfile @@ -0,0 +1,2 @@ +# Don't delete. +# This is a placeholder so that our `ci/release.py` will work properly. diff --git a/ci/base/Dockerfile b/ci/base/Dockerfile new file mode 100644 index 0000000..44879eb --- /dev/null +++ b/ci/base/Dockerfile @@ -0,0 +1,2 @@ +# Don't delete. +# This is a placeholder so that our `ci/release.py` will work properly. diff --git a/ci/release.py b/ci/release.py index b4b5fed..5918847 100755 --- a/ci/release.py +++ b/ci/release.py @@ -63,12 +63,12 @@ if __name__ == "__main__": "actions": [ { "action": "update", - "file_path": "base/Dockerfile", + "file_path": "ci/base/Dockerfile", "content": base_replaced, }, { "action": "update", - "file_path": "base-devel/Dockerfile", + "file_path": "ci/base-devel/Dockerfile", "content": base_devel_replaced, }, ],