git file names are not case sensitive

1. By modifying the configuration git:

git config core.ignorecase false

2. enforce modify the file name command:

When you want to rename the file has been added to git, git mv --f oldFileName newFileName

Guess you like

Origin www.cnblogs.com/momo798/p/11230916.html