问题
默认的 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'
-
然后在commit最后push即可。
-
最后
git checkout xxx之前备份或者剪切的文件即可，手动copy回来也行。