From 1696b3784f4c2971cc4fd8b7ae72843549bd6db2 Mon Sep 17 00:00:00 2001
From: "a.wink" <a.wink@kellerkinder.de>
Date: Thu, 2 Mar 2023 11:17:10 +0100
Subject: [PATCH] [noticket] Add skip if mysqladmin is missing

---
 devenv.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/devenv.nix b/devenv.nix
index 3b68258..43910a2 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -58,6 +58,11 @@ let
   entryScript = pkgs.writeScript "entryScript" ''
     set -euo pipefail
 
+    if [ ! -f $DEVENV_PROFILE/bin/mysqladmin ]; then
+      echo -e "mysqladmin missing, skips further entryscript processing"
+      ${pkgs.coreutils}/bin/sleep infinity
+    fi
+
     while ! $DEVENV_PROFILE/bin/mysqladmin ping --silent; do
       ${pkgs.coreutils}/bin/sleep 1
     done