From 28eb4d909fb00040016241293178163f045ca195 Mon Sep 17 00:00:00 2001
From: Kenneth Hoste <kenneth.hoste@ugent.be>
Date: Thu, 2 Jul 2020 18:37:21 +0200
Subject: [PATCH] fix determining shell in bootstrap_startscript, take into
 account that $SHELL may contain something like '/bin/bash --noprofile --norc'

---
 bootstrap-prefix.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap-prefix.sh b/bootstrap-prefix.sh
index e44fce12..e987be44 100755
--- a/bootstrap-prefix.sh
+++ b/bootstrap-prefix.sh
@@ -586,7 +586,7 @@ bootstrap_tree() {
 }
 
 bootstrap_startscript() {
-	local theshell=${SHELL##*/}
+	local theshell=$(echo "${SHELL##*/}" | cut -f1 -d' ')
 	if [[ ${theshell} == "sh" ]] ; then
 		einfo "sh is a generic shell, using bash instead"
 		theshell="bash"