Re: Is $SHELL used by bash in anyway?

[Alex fxmbsw7 Ratchev]

i think it just sets it, not much read

On Fri, Feb 25, 2022, 11:53 Peng Yu <pengyu.ut@gmail.com> wrote:

> Hi,
>
> In a script run by corn (on macOS), $SHELL is shown as /bin/sh, $BASH
> is shown as /bin/bash.
>
> Within the script, I run this command. $BASH is changed to
> "/usr/local/bin/bash", but $SHELL remains as /bin/sh.
>
>    LANG=en_US.UTF-8 exec /usr/local/bin/bash -c "source ~/.bashrc;
> some_other_script.sh"
>
> Does bash use the variable $SHELL in any way? Or bash simply leave it
> as is as a regular environment variable without doing anything extra?
>
> --
> Regards,
> Peng
>
>