Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
No mention of filename capitalization #742
The fact that capitalization of filenames is relevant on some platforms (e.g. Linux) but not on others (e.g. Windows/Mac) is not mentioned clearly anywhere. This could possibly be introduced either at the same time as the capitalization of commands or when the filesystem is being explored in detail.