Re: make "filter" case insensitive

2022-02-24 Thread Andrew Borodin
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:

Re: make "filter" case insensitive

2022-02-24 Thread Fourhundred Thecat via mc
> 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

make "filter" case insensitive

2022-02-23 Thread Fourhundred Thecat via mc
Hello, is there any way to make "filter" case insensitive? If there is no configuration option for this, how difficult would it be to change this in the source code? (I am using mc version: 3:4.8.22-1 on Debian 10 thank you ___ mc mailing