Elektrine lite

← Feed

@pino@social.cologne

Post #2598118

2026-05-08 18:18 UTC

@aesthr@wandering.shop As an end user, quite often I do NOT want that "Paris 2023” and "paris 2023” are two different file names. :) Sure, you can also solve that on UI level...

Replies (1)

  • @aesthr@wandering.shop 2026-05-08 18:35

    @pino@social.cologne if you prefer that behavior, then yes, that should be handled at a higher level than the filesystem. there is no reason to inject this ambiguity on a level where it can conflict with other systems. my favorite problem case is this: you download a ZIP file or clone a git repository that has two files in it that only differ by letter case. good luck reading that on your case-insensitive system.

    Open ##2598119