![](https://lemmy.hogru.ch/api/v3/image_proxy?url=https%3A%2F%2Fpawb.social%2Fpictrs%2Fimage%2Feae5b85e-66aa-4e77-bb68-8b9fed0e04a0.png)
![](https://lemmy.hogru.ch/api/v3/image_proxy?url=https%3A%2F%2Flemmy.ml%2Fpictrs%2Fimage%2Fq98XK4sKtw.png)
Oooh, I get to say an “Umm… Actually” fact. File names are not case sensitive in Linux nor are they case insensitive in Windows.
It’s entirely possible to have a case insensitive filesystem on Linux (I think ext4 supports a mount option for it now). Likewise, there’s a bit you can set on folders in Windows that makes its contents case sensitive. So realistically, case sensitivity is a property of the folder, not the OS.
Yes, that’s as annoying as it sounds.
I used to think this way, then it was pointed out to me that, without timezones, we’d be in a situation where Saturday starts mid-workday in some places.