Git - 文件名大小写不敏感，怎么删除文件

问题

默认的 git 对文件名是大小写是不敏感的，因此需要设置下。

对于这个问题，没有使用 git rm 来删除 repo 的文件，再次上传之后，怎么移除这个文件。

解决办法

如果 git 配置没有设置大小写敏感的话，直接复制下面的命令即可

git config core.ignorecase false

对于修改之前的文件，远端仓库没有删除，本地是手动删除。
解决办法就是，先备份本地修改后的文件到其他地方，这步非常重要，如果没有剪切或者备份的话，执行
git status 根本没有任何信息提示。

移到其他地方之后，执行git status，就可以看到文件提示已经删除了。

deleted:    pages/orderDetail/orderDetail.js
	deleted:    pages/orderDetail/orderDetail.json
	deleted:    pages/orderDetail/orderDetail.wxml
	deleted:    pages/orderDetail/orderDetail.wxss
	deleted:    pages/orderdetail/orderdetail.js
	deleted:    pages/orderdetail/orderdetail.json
	deleted:    pages/orderdetail/orderdetail.wxml
	deleted:    pages/orderdetail/orderdetail.wxss

上面的orderdetail 和orderDetail重复了。

然后用git rm -r --cached pages/orderdetail

➜  xxx git:(master) ✗ git rm  -r --cached pages/orderdetail
rm 'pages/orderdetail/orderdetail.js'
rm 'pages/orderdetail/orderdetail.json'
rm 'pages/orderdetail/orderdetail.wxml'
rm 'pages/orderdetail/orderdetail.wxss'