Re: make "filter" case insensitive
On Thu, 24 Feb 2022 09:59:07 +0100 Fourhundred Thecat via mc wrote: > If there is no configuration option to make the matching > case-nonsensitive, would it be possible to change this in the source > code easily? Unfortunately, no. Feel free to create a ticket: https://midnight-commander.org/wiki/NewTicket Registration is required. -- Andrew ___ mc mailing list https://mail.gnome.org/mailman/listinfo/mc
Re: make "filter" case insensitive
> 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