server: Do not hardcode bash path

diff --git a/server/novaboot-shell b/server/novaboot-shell
index a807cf8a1704b981b7803b60fede90e7604a8a46..188df5a15d4f2b024b1b8ed09866584efbd4dc47 100755 (executable)
--- a/server/novaboot-shell
+++ b/server/novaboot-shell
@@ -56,7 +56,7 @@ exec_shell() {
     if ! tty > /dev/null; then
        echo "novaboot-shell: Consider starting the shell with 'ssh -t'"
     fi
-    exec /bin/bash || exec /bin/sh
+    exec /usr/bin/env bash || exec /bin/sh
 }
 
 lock_queue() {