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

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Tue, May 18, 2021 at 10:37 AM Martijn Dekker <martijn@xxxxxxxx> wrote:
>
> Op 18-05-21 om 01:15 schreef Bart Schaefer:
> > Aside, it's a bit odd that SHLVL isn't read-only.
>
> SHLVL is increased even when you do something like 'exec zsh'

Actually no, it isn't.

% echo $SHLVL && exec Src/zsh -fc 'echo $SHLVL'
2
2