Elektrine lite

← Feed

@pino@social.cologne

Post #2598125

2026-05-08 19:23 UTC

@aesthr@wandering.shop Whether one would like it or not, but if we would declare case insensitivity as the ultimate default, and everyone would adapt to that one, we'd definitely have no problems either, right? The problems comes when you mix both approaches together. Solutions on UI level - particularly in Linux land - have the problems that there will be 10 implementations, all somewhat different, and changing over time. And the Gnome guys do sth completely bonkers. Then better leave it as it is. :)

Replies (1)

  • @aesthr@wandering.shop 2026-05-08 19:53

    @pino@social.cologne you're assuming that everyone else also thinks that case sensitivity doesn't matter which is one hell of an assumption to make about people who may have very different use cases, maybe speak different languages, etc. Again: keeping things case-sensitive removes no options for anyone, case-insensitive forces one way on everyone, removes options, and causes incompatibility issues. There's literally no benefit for a case-insensitive filesystem.

    Open ##2598126