fix determining shell in bootstrap_startscript#7

Merged

bedroge merged 1 commit intoEESSI:install_prefixfrom

boegel:install_prefix

Jul 2, 2020

Commits on Jul 2, 2020

fix determining shell in bootstrap_startscript, take into account that $SHELL may contain something like '/bin/bash --noprofile --norc'
boegel
committed