4 ms·
I don't necessarily disagree with either of these, but Unicode got encoded as it was and Linux got these files with these names and we can't go back and change
by geofft 8y ago
I don't necessarily disagree with either of these, but Unicode got encoded as it was and Linux got these files with these names and we can't go back and change it. (Even if the files get renamed, we have git history and stable release branches to think about.)
The point of software is to deal with the world as it is, not as it should be. We've got pseudocode and research papers for the world as it should be.
- yellowapple 8y agoWe absolutely can change Unicode (that happens all the time, unless you think we've had emoji since the 90's), and we absolutely can rename those files (as they should be anyway, regardless of whether the filesystem is case-insensitive). If you need to dig through the git history or work with a branch that does not have that fix, then you can always mount a case-sensitive FS specifically for that purpose.