.profile, .shellrc: test $BASH_VERSION instead of $SHELL
authorOleg Broytman <phd@phdru.name>
Thu, 7 Jul 2016 23:40:28 +0000 (02:40 +0300)
committerOleg Broytman <phd@phdru.name>
Thu, 7 Jul 2016 23:40:28 +0000 (02:40 +0300)
commit20515fecab4ad47200eff26038c6cef8e2cef271
treecad3e2b663da2bb907c446b5c5aa7e0768a50dbc
parentae5f816b7ca05c64e19430dd58626afd04293d57
.profile, .shellrc: test $BASH_VERSION instead of $SHELL

Test $BASH_VERSION instead of $SHELL in case bash is executed as /bin/sh.
.profile
.shellrc