23 Mar
2020
23 Mar
'20
7:30 a.m.
On Mon, Mar 23, 2020 at 5:06 PM Steve Barnes
I personally think that there is a better case for an ignore_case flag – the number of times that I have been caught out with [‘a.doc’, ‘b.Doc’, ‘c.DOC’] especially on MS platforms.
Case insensitivity is a mess. I think it'd be a lot cleaner to keep this as-is, and for the case insensitive use-case, people can still do it manually. (Basically case-fold for the comparison, but then trim from the original as is.) ChrisA