Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: $PPID not updated when the PPID changes (parent killed)
On Mon, May 17, 2021 at 5:37 PM Phil Pennock
<zsh-workers+phil.pennock@xxxxxxxxxxxx> wrote:
>
> On 2021-05-17 at 16:15 -0700, Bart Schaefer wrote:
> > Aside, it's a bit odd that SHLVL isn't read-only.
>
> Needs to be something which can be unset.
It just needs to be something that can be "un-export-ed", but I
suppose there's no way to specify that.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author