GNU bug report logs - #56401
"Case folding" should be called "ignore case"

Previous Next

Full log

Message #14 received at 56401 <at> debbugs.gnu.org (full text, mbox):

From: Visuwesh <visuweshm <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 56401 <at> debbugs.gnu.org, Stefan Kangas <stefan <at> marxist.se>
Subject: Re: bug#56401: "Case folding" should be called "ignore case"
Date: Tue, 05 Jul 2022 22:47:32 +0530

[செவ்வாய் ஜூலை 05, 2022] Lars Ingebrigtsen wrote:

> Stefan Kangas <stefan <at> marxist.se> writes:
>
>> The "case fold" terminology is too technical and not very user-friendly.
>> In other software, in most user-facing contexts, it is called "ignore
>> case".
>>
>> Please consider renaming all variables, commands, and documentation to
>> refer to "ignore case" instead of "case folding".
>
> I agree that "ignore case" would be better, but it somehow seems like
> most people don't have much problem with the "case folding" terminology?

I find the term really hard to remember too.  I wonder if we can define
an apropos alias for "case fold" in `apropos-synonyms' but I think that
only handles single words.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.