Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

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



On Tue, May 18, 2021 at 9:15 AM Peter Stephenson
<p.w.stephenson@xxxxxxxxxxxx> wrote:
>
> I don't
> think we have any expectation of or guidance on what people do with
> [SHLVL] anyway.

I didn't have any expectation that my "aside" would take over this thread!




Messages sorted by: Reverse Date, Date, Thread, Author