pushd is a bash-specific command

epsilonlabs · Dec 3, 2024 · 917a23d · 917a23d
1 parent 4f4c290
commit 917a23d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/standalone-server/clone-frontend.sh b/standalone-server/clone-frontend.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # exit on any failure
 set -e