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: 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

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 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

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 list
https://mail.gnome.org/mailman/listinfo/mc