Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

For me the asymmetry of case-insensitivity bugs me. Even if the filesystem is case insensitive, "touch file.txt" is different from "touch FILE.TXT". In the same vein, what should the case of the file be after "echo lowercase file > file.txt; echo uppercase file > FILE.TXT"?

Case insensitivity would make sense to me if all files were stored and displayed as completely lowercase (although I'm not sure how this generalizes to other character sets).



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: