On Thu, Sep 08, 2016 at 10:08:23AM -0400, Anthony Coulter wrote: [..]
> We can fix either the manual or ksh itself; this diff takes the latter > approach. It is tempting to do this with "typeset -ir PPID" but that > actually doesn't work: > > $ FOO=123 > $ typeset -ir FOO > ksh: FOO: is read only $ echo $FOO $ This looks like a bug to me. Note that $ typeset -ir BAR=123 does the expected thing: $ BAR=1 ksh: BAR: is read only $ echo $BAR 123 So, while I agree that PPID should be read-only and your patch appears to accomplish the desired effect, I think we should try to fix the underlying problem, not work around it.