From c63c4ff73ad2b1c2107e4c97da2e88f962302b87 Mon Sep 17 00:00:00 2001 From: 3wc <3wc@doesthisthing.work> Date: Tue, 29 Jul 2025 14:39:27 +0100 Subject: [PATCH] Fix entrypoint permissions, add makefile --- .infra/Dockerfile | 2 ++ .infra/makefile | 7 +++++++ 2 files changed, 9 insertions(+) create mode 100644 .infra/makefile diff --git a/.infra/Dockerfile b/.infra/Dockerfile index 40094e9..5f95ecb 100644 --- a/.infra/Dockerfile +++ b/.infra/Dockerfile @@ -4,4 +4,6 @@ COPY entrypoint.sh /custom-docker-entrypoint.sh COPY index.html /usr/share/nginx/html/index.html +RUN ["chmod", "+x", "/custom-docker-entrypoint.sh"] + ENTRYPOINT ["/custom-docker-entrypoint.sh"] diff --git a/.infra/makefile b/.infra/makefile new file mode 100644 index 0000000..00a634a --- /dev/null +++ b/.infra/makefile @@ -0,0 +1,7 @@ +all: build push + +build: + docker build -t git.autonomic.zone/autonomic-cooperative/docker-debugging-disco:0.1.0 . + +push: + docker push git.autonomic.zone/autonomic-cooperative/docker-debugging-disco:0.1.0