Add exec in entrypoint

2025-10-07 13:26:46 +02:00
parent 700d53fbb0
commit c38574e005
2 changed files with 5 additions and 2 deletions
@@ -71,12 +71,15 @@
          name = "run";
          runtimeInputs = [ pkgs.coreutils pkgs.dbmate yore ];
          text = ''
+            set -Eeuo pipefail
+
            mkdir -p /workspace/db
            cp -r ${./db}/* /workspace/db
            cd /workspace
            dbmate up

-	    yore
+            # Replace bash and inherit PID 1
+            exec yore
          '';
        };
      in {