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

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] TetrisIQ@lemmy.world 7 points 1 year ago (1 children)

You can also disable case sensivity in bash

[–] MooseBoys@lemmy.world 20 points 1 year ago (2 children)

this seems like a recipe for disaster

[–] rtxn@lemmy.world 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).

[–] MooseBoys@lemmy.world 17 points 1 year ago

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

[–] 1984 10 points 1 year ago

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

[–] AnUnusualRelic@lemmy.world 6 points 1 year ago

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

[–] Dizzar@iusearchlinux.fyi 5 points 1 year ago

How to shoot yourself in the foot in one simple step

[–] xeekei@lemm.ee 1 points 1 year ago

This is default in SteamOS.

[–] tigerjerusalem@lemmy.world 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?