Re: $PPID not updated when the PPID changes (parent killed)

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Tue, May 18, 2021 at 11:06 AM Stephane Chazelas
<stephane@xxxxxxxxxxxx> wrote:
>
> $SHLVL (a (t)csh thing IIRC, not handled by all shells)

Bash has it, for sure.

> I would find it much clearer if we described $$/$PPID in
> relation to shell invocation initialisation like POSIX does.

I'm tending to agree.