[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#37907: --no-ignore-case option

From: arnold
Subject: bug#37907: --no-ignore-case option
Date: Thu, 24 Oct 2019 15:41:58 -0600
User-agent: Heirloom mailx 12.5 7/5/10

Karl Berry <address@hidden> 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, as being next to -i. It's also unused.

I have no objection.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]