Paul Eggert 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
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=wi
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
