From a7350dad7f0441abdf748b96362a66890ad79d4c Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Mon, 25 Jan 2021 00:34:55 +0100
Subject: [PATCH] server: Do not hardcode bash path

---
 server/novaboot-shell | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/novaboot-shell b/server/novaboot-shell
index a807cf8..188df5a 100755
--- 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() {
-- 
2.39.2