Re: RFE: make [[ compatible with [ 'Option'?

[Linda Walsh]

Hey, if one doesn't ask...

Chet Ramey wrote:

I don't think implementing an option to disable that is a good use of
time.

Chet