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

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

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.