![](https://pawb.social/pictrs/image/eae5b85e-66aa-4e77-bb68-8b9fed0e04a0.png)
![](https://lemmy.ml/pictrs/image/q98XK4sKtw.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.