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