git修改文件名大小写

问题背景

在git本地工作区修改文件名大小写（如将test.js改成Test.js）后，使用git status指令提示nothing to commit, working tree clean，也就是说git并没有检测出文件名大小写的修改。

解决方式1

在网上找到的原因是说git是对文件名大小写不敏感的，找到的解决方案是将git配置为大小写敏感的，即使用指令

git config core.ignoreCase false

尝试了一下这个方式，然后使用git status查看状态发现确实又一个untracked file，但是没有delete file，（正常修改文件名称，非大小写修改时是有个untract文件的同时还有个delete file的），此时继续执行git-add-commit之后，会发现git仓库中会同时存在大小写两个文件，此时修改文件内容时两份文件也会同时被修改。使用git ls-tree HEAD 查看对象，会发现大小写两份文件的SHA1值是相同的，也就是两份文件指向同一个Blob对象。此时别人从git上拉代码拉下来的仍然是小写的文件名。
当然可以手动删除仓库中的多余的小写名字的文件，使用的指令是

git rm --cached test.js

然后继续执行git-commit-push提交代码。

解决方式2（推荐）

正确的做法是使用git的指令修改文件名

git mv -f test.js Test.js

这时git就可以识别出文件名的改变了，此时提交到仓库之后会发现仓库上就会只有一个大写的文件。此时从别的地方拉代码也会正确识别出文件名大小写的变化。此方法目前没有发现任何问题。
查看git mv指令的文档，文档上写的是

git-mv - Move or rename a file, a directory, or a symlink

所以我想这才是比较推荐的修改文件名大小写的方法吧。