Re: Persistent names for audio devices.
On Wed, 29 Sept 2021 at 16:57, <tomas@tuxteam.de> wrote:
> On Tue, Sep 28, 2021 at 02:31:18PM -0700, peter@easthope.ca 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 <greg@wooledge.org> wrote:
> Do not guess. Do not assume defaults are in place. Just find out.
> ps -p $$
As usual, Greg's advice is worth following.
Reply to: