Karl Berry wrote:
> See the attached patch. Less than 10 minutes' work. :-)
>
> Thanks Arnold!
You're welcome.
> I chose '-g' since that letter was unused. It has no mnemonic value.
>
> If a one-letter option is going to be used (I thought that might be too
> intrusive), I suggest -j,
See the attached patch. Less than 10 minutes' work. :-)
Thanks Arnold!
Grep guys - I'm pretty sure I've signed papwerwork for grep.
copyright.list confirms that you have :).
I chose '-g' since that letter was unused. It has no mnemonic value.
If a one-letter option is going to be
Hi Karl.
See the attached patch. Less than 10 minutes' work. :-)
Grep guys - I'm pretty sure I've signed papwerwork for grep. Feel free
to incorporate this patch.
I chose '-g' since that letter was unused. It has no mnemonic value.
Thanks,
Arnold
Karl Berry wrote:
> I suggest adding --no-i
I suggest adding --no-ignore-case to clear the case-insensitivity -i
search. I, and surely many others, have an alias or script that runs
grep with -i by default, along with other options (since GREP_OPTIONS
was killed). It would be highly convenient to be able to add
--no-ignore-case on the fly to
