[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.
Thanks,
Arnold