Move docker files in docker dir and add instructions

DHI · Sep 27, 2023 · 4a0ac35 · 4a0ac35
1 parent 19e2e77
commit 4a0ac35
Show file tree

Hide file tree

Showing 4 changed files with 35 additions and 12 deletions.
diff --git a/Makefile b/Makefile
diff --git a/.dockerignore → docker/.dockerignore b/.dockerignore → docker/.dockerignore
diff --git a/docker/Makefile b/docker/Makefile
@@ -0,0 +1,13 @@
+REGISTRY=docker.io
+IMAGE=terracotta
+TAG=latest
+
+all: build push
+
+build:
+	docker build -f Dockerfile -t $(REGISTRY)/$(IMAGE):$(TAG) ..
+
+push:
+	docker push $(REGISTRY)/$(IMAGE):$(TAG)
+
+.PHONY: build push all
diff --git a/docker/README.md b/docker/README.md
@@ -0,0 +1,22 @@
+# Terracotta docker
+
+This directory contains the docker files to build the Terracotta docker image.
+
+## Build the image
+**Make sure the current directory is in docker/**
+
+Build using the default image name and tag:
+```bash
+make build
+```
+
+Build using a custom registry, image name and tag:
+```bash
+make build REGISTRY=myregistry.com IMAGE=terracotta TAG=test
+```
+
+## Push the image
+**Make sure the current directory is in docker/**
+```bash
+make push
+```