Skip to content

fix determining shell in bootstrap_startscript#7

Merged
bedroge merged 1 commit intoEESSI:install_prefixfrom
boegel:install_prefix
Jul 2, 2020
Merged

fix determining shell in bootstrap_startscript#7
bedroge merged 1 commit intoEESSI:install_prefixfrom
boegel:install_prefix

Conversation

@boegel
Copy link
Copy Markdown
Contributor

@boegel boegel commented Jul 2, 2020

Take into account that $SHELL may contain something like '/bin/bash --noprofile --norc'

This is probably worth pushing back upstream...

…t $SHELL may contain something like '/bin/bash --noprofile --norc'
@boegel
Copy link
Copy Markdown
Contributor Author

boegel commented Jul 2, 2020

Without this fix:

$ export SHELL=/bin/bash
$ echo "${SHELL##*/}"
bash
$ export SHELL="/bin/bash --no-profile --norc"
$ echo "${SHELL##*/}"
bash --no-profile --norc
# this causes trouble, results in running "emerge bash --noprofile --norc", which fails

With this fix:

$ export SHELL="/bin/bash --no-profile --norc"
$ echo $(echo "${SHELL##*/}" | cut -f1 -d' ')
bash
$ export SHELL=/bin/bash
$ echo $(echo "${SHELL##*/}" | cut -f1 -d' ')
bash

@bedroge bedroge merged commit 224a0b1 into EESSI:install_prefix Jul 2, 2020
@boegel boegel deleted the install_prefix branch September 21, 2020 06:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants