On Wed, 29 Sept 2021 at 16:57, <[email protected]> wrote: > On Tue, Sep 28, 2021 at 02:31:18PM -0700, [email protected] wrote:
> > I haven't set a shell. According to https://wiki.debian.org/Shell > > it's bash. > It might be willing to tell you: > echo $SHELL I wouldn't give that advice, it's rather misleading. Demo: [david@kablamm ~]$ echo $SHELL /bin/bash [david@kablamm ~]$ dash $ echo $SHELL /bin/bash $ Why is it so? As per 'man 1 login', $SHELL contains the shell you *want* when you login, not the shell you *have* :) On Wed, 29 Sept 2021 at 08:12, Greg Wooledge <[email protected]> wrote: > Do not guess. Do not assume defaults are in place. Just find out. > ps -p $$ As usual, Greg's advice is worth following.
