Gollum@feddit.de to Programmer Humor@programming.dev · 2 years agoD or d come oni.imgur.comimagemessage-square202linkfedilinkarrow-up11.43Karrow-down148 cross-posted to: [email protected]
arrow-up11.38Karrow-down1imageD or d come oni.imgur.comGollum@feddit.de to Programmer Humor@programming.dev · 2 years agomessage-square202linkfedilink cross-posted to: [email protected]
minus-squareMooseBoyslinkfedilinkarrow-up26arrow-down3·2 years agothis seems like a recipe for disaster
minus-squarertxnlinkfedilinkEnglisharrow-up8·2 years agoSince Linux 5.2, you can disable case sensitivity on the filesystem level on ext4 (called case folding).
minus-squareMooseBoyslinkfedilinkarrow-up20·2 years agoI wonder how many things subtly break when you enable that option.
minus-square1984@lemmy.todaylinkfedilinkarrow-up9·2 years agoIs this a competition for worst idea to solve the problem? :)
minus-squareAnUnusualReliclinkfedilinkarrow-up7arrow-down1·2 years agoIs there also an option to only have 8.3 filenames? Those long names are so tiresome.
minus-squareDizzar@iusearchlinux.fyilinkfedilinkarrow-up5·2 years agoHow to shoot yourself in the foot in one simple step
minus-squareTiger Jerusalemlinkfedilinkarrow-up6·2 years agoHonest 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?
this seems like a recipe for disaster
Since Linux 5.2, you can disable case sensitivity on the filesystem level on ext4 (called case folding).
I wonder how many things subtly break when you enable that option.
Is this a competition for worst idea to solve the problem? :)
Is there also an option to only have 8.3 filenames? Those long names are so tiresome.
How to shoot yourself in the foot in one simple step
This is default in SteamOS.
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?