this post was submitted on 02 Oct 2023
1379 points (96.7% liked)

Programmer Humor

19623 readers
16 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

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 7 points 1 year ago (1 children)

You can also disable case sensivity in bash

[–] [email protected] 20 points 1 year ago (2 children)

this seems like a recipe for disaster

[–] [email protected] 7 points 1 year ago (5 children)

Since Linux 5.2, you can disable case sensitivity on the filesystem level on ext4 (called case folding).

[–] [email protected] 17 points 1 year ago

I wonder how many things subtly break when you enable that option.

[–] [email protected] 9 points 1 year ago

Is this a competition for worst idea to solve the problem? :)

[–] [email protected] 6 points 1 year ago

Is there also an option to only have 8.3 filenames? Those long names are so tiresome.

[–] [email protected] 5 points 1 year ago

How to shoot yourself in the foot in one simple step

[–] [email protected] 1 points 1 year ago

This is default in SteamOS.

[–] [email protected] 5 points 1 year ago

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?