From 1cfa3bc4ee938c372d3cb539169dc7a48a277667 Mon Sep 17 00:00:00 2001 From: mo khan Date: Mon, 26 May 2025 09:23:10 -0600 Subject: chore: use dumb-init to manage pid 1 --- bin/entrypoint.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'bin') diff --git a/bin/entrypoint.sh b/bin/entrypoint.sh index eb7dc07..a770286 100755 --- a/bin/entrypoint.sh +++ b/bin/entrypoint.sh @@ -1,8 +1,11 @@ -#!/bin/sh - +#!/usr/bin/dumb-init /bin/sh +# shellcheck shell=sh set -e [ -n "$DEBUG" ] && set -x cd "$(dirname "$0")/.." -./bin/envoy.sh & ./bin/authzd & ./bin/sparkled + +./bin/envoy.sh & # launch envoy in background +./bin/authzd & # launch authzd in background +./bin/sparkled # launch sparkled in foreground -- cgit v1.2.3