this post was submitted on 24 Dec 2024
417 points (95.6% liked)
Programmer Humor
19932 readers
1247 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 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Of course you can, make it lowercase internally and store the case formatted string for output.
That'd break git repos where files with the same name, but different case exist.
I was talking about branch names, not file names. File duplicates due to case sensitivity aren't a problem on Windows anyway because those are already enforced by the file system. Unless you have people working on Linux that have multiple files with a similar name but with different casing but those should know better.
so now its the Linux users who should know better, just in case git introduces a breaking change out of nowhere ?
...but not the ones using a case-insensitive file system with case-sensitive version control ?