Paul Eggert <egg...@cs.ucla.edu> wrote: > On 10/24/19 1:40 PM, arn...@skeeve.com wrote: > > > I chose '-g' since that letter was unused. It has no mnemonic value. > > Thanks for implementing that. Other grep-like programs tend to use -I > for this option, since it negates -i. Obviously we can't do that right > now since -I means --binary-files=without-match to GNU grep. So I > installed the attached, which takes the more-conservative approach of > implementing just --no-ignore-case without any single-letter option. > Perhaps in the future we could deprecate -I and then eventually > repurpose it? But in the meantime this particular feature request is > done, so I'm taking the liberty of closing the bug report.
Much thanks, Paul. Karl --- Enjoy! :-) Arnold
