Re: make "filter" case insensitive

Fourhundred Thecat via mc <[email protected]> Thu, 24 Feb 2022 09:59:07 +0100

Newsgroups	gmane.comp.gnome.apps.mc.general
Message-ID	<[email protected]>

 > On 2022-02-23 17:59, Frank Dietrich via mc wrote:
> Hi,
>
> the filter uses shell globbing pattern. For example
>
> *.[Pp][Dd][Ff]
>
> would filter files *.PDF, *.pdf (and all other permutations of the
> characters).

thank you, but that is extremly laborious.

If there is no configuration option to make the matching
case-nonsensitive, would it be possible to change this in the source
code easily?

_______________________________________________
mc mailing list
https://mail.gnome.org/mailman/listinfo/mc