Re: [PATCH] don't exit shell on [[ -o invalid@option ]]

[Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>]

On Sat, 11 Nov 2017 15:19:05 -0800
Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> On Nov 11,  7:01pm, Martijn Dekker wrote:
> }
> } Op 11-11-17 om 12:45 schreef Peter Stephenson:
> } > On Fri, 10 Nov 2017 14:37:17 -0800
> } > Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> } >> We could certainly suppress the error in emulation modes
> } > 
> } > We could attach it to POSIXBUILTINS as that does control some aspects
> } 
> } Seems a bit wrong as this is not POSIX at all.
> 
> I was thinking more along the lines of tying it to EMULATION(EMULATE_SH)
> rather directly to a given option bit.  So you get it if the shell is
> started as sh/ksh/etc., but you can't switch it on if started as zsh.

This is tending to hide the knob under the sticky out bit at the top where
the logo is attached (as it were).

Maybe we should just accept the original patch and note the
incimpatibility.  It's a non-issue for properly written shell code
anyway.

pws