Pushd is not a sh command

2025-06-11 18:47:47 +02:00 · 2025-03-06 14:54:55 +01:00 · 2025-03-06 14:54:55 +01:00 · 5fb2173d93
parent 561813a289
commit 5fb2173d93
1 changed files with 1 additions and 1 deletions
--- a/server/daemon/run_insecure_dev_server.sh
+++ b/server/daemon/run_insecure_dev_server.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -e