Merge branch 'main' into feature/skip-config-without-database

TumTum · Mar 2, 2023 · 705c927 · 705c927
2 parents a4b33ba + c6983cb
commit 705c927
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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