]> rtime.felk.cvut.cz Git - novaboot.git/blobdiff - server/novaboot-shell
server: Do not hardcode bash path
[novaboot.git] / server / novaboot-shell
index a807cf8a1704b981b7803b60fede90e7604a8a46..188df5a15d4f2b024b1b8ed09866584efbd4dc47 100755 (executable)
@@ -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() {