this post was submitted on 02 Oct 2023
1409 points (96.7% liked)
Programmer Humor
19623 readers
4 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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? :)
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?