From e28c5cf422ff479ac1df03fd9c35b11912893420 Mon Sep 17 00:00:00 2001
From: Lorenz Brun <lorenz@brun.one>
Date: Thu, 10 Feb 2022 19:58:01 +0100
Subject: [PATCH] Make dumb-init PID 1

dumb-init needs to run as PID 1, otherwise it doesn't do anything. exec dumb-init so it takes over PID 1 once the entrypoint script is done.
---
 ci/release-image/entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/release-image/entrypoint.sh b/ci/release-image/entrypoint.sh
index 770232d7e30f..9af98fbc3dc9 100755
--- a/ci/release-image/entrypoint.sh
+++ b/ci/release-image/entrypoint.sh
@@ -18,4 +18,4 @@ if [ "${DOCKER_USER-}" ]; then
   fi
 fi
 
-dumb-init /usr/bin/code-server "$@"
+exec dumb-init /usr/bin/code-server "$@"