Gollum@feddit.de to Programmer Humor@programming.dev · 1 year agoD or d come oni.imgur.comimagemessage-square177fedilinkarrow-up11.33K cross-posted to: [email protected]
arrow-up11.29KimageD or d come oni.imgur.comGollum@feddit.de to Programmer Humor@programming.dev · 1 year agomessage-square177fedilink cross-posted to: [email protected]
minus-squareTetrisIQ@lemmy.worldlinkfedilinkarrow-up8arrow-down1·1 year agoYou can also disable case sensivity in bash
minus-squareMooseBoys@lemmy.worldlinkfedilinkarrow-up20arrow-down3·1 year agothis seems like a recipe for disaster
minus-squarertxn@lemmy.worldlinkfedilinkEnglisharrow-up6·1 year agoSince Linux 5.2, you can disable case sensitivity on the filesystem level on ext4 (called case folding).
minus-squareMooseBoys@lemmy.worldlinkfedilinkarrow-up16·1 year agoI wonder how many things subtly break when you enable that option.
minus-square1984@lemmy.todaylinkfedilinkarrow-up9·1 year agoIs this a competition for worst idea to solve the problem? :)
minus-squareDizzar@iusearchlinux.fyilinkfedilinkarrow-up5·1 year agoHow to shoot yourself in the foot in one simple step
minus-squareAnUnusualRelic@lemmy.worldlinkfedilinkarrow-up5arrow-down1·1 year agoIs there also an option to only have 8.3 filenames? Those long names are so tiresome.
minus-squareTiger Jerusalem@lemmy.worldlinkfedilinkarrow-up5·1 year 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?
You can also disable case sensivity in bash
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? :)
How to shoot yourself in the foot in one simple step
Is there also an option to only have 8.3 filenames? Those long names are so tiresome.
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?