coding - 运用git出现远程库多了一个本地不存在的文件

Question

远程库有一个User.md和user.md文件，而本地是没有User.md这样文件的，为什么远程库那边却多了一个User.md文件？现在要怎么把远程库的User.md删除？只留下一个user.md文件？
补充一下，现在git pull的时候是显示already up-to-date

伊谢尔伦 · Answer

MAC 和 windows 默认不区分文件名的大小写，User.md 和 user.md 应该是同一个文件。
但远程仓库用 Linux 是区分大小写的。

试试把本地的git设置成大小写敏感的，然后再搞

git config core.ignorecase false

曾经蜡笔没有小新 · Answer

你的文件系统（或者 Windows 子系统）不区分大小写的话就比较麻烦了。可以使用 git 底层命令直接生成一个删除 User.md 的提交然后推送上去。需要的话留言，我有空的时候折腾一下。