Honest question: is case sensitivity that important? Are there files named settings.ini and Settings.ini, for example, in the same folder that do different things?
Comment on D or d come on
MooseBoys@lemmy.world 11 months agothis seems like a recipe for disaster
tigerjerusalem@lemmy.world 11 months ago
rtxn@lemmy.world 11 months ago
Since Linux 5.2, you can disable case sensitivity on the filesystem level on ext4 (called case folding).
MooseBoys@lemmy.world 11 months ago
I wonder how many things subtly break when you enable that option.
1984@lemmy.today 11 months ago
Is this a competition for worst idea to solve the problem? :)
AnUnusualRelic@lemmy.world 11 months ago
Is there also an option to only have 8.3 filenames? Those long names are so tiresome.
Dizzar@iusearchlinux.fyi 11 months ago
How to shoot yourself in the foot in one simple step
xeekei@lemm.ee 11 months ago
This is default in SteamOS.