coding - 運用git出現遠端函式庫多了一個本地不存在的文件

Question

遠端庫有一個User.md和user.md文件，而本地是沒有User.md這樣文件的，為什麼遠端庫那邊卻多了一個User.md文件？現在要怎麼把遠端庫的User.md刪除？只留下一個user.md檔案？
補充一下，現在git pull的時候是顯示already up-to-date

Answer 1

MAC 和 windows 預設不區分檔案名稱的大小寫，User.md 和 user.md 應該是同一個檔案。
但遠端倉庫用 Linux 是區分大小寫的。

試試看把本地的git設定成大小寫敏感的，然後再搞

git config core.ignorecase false

Answer 2

你的檔案系統（或 Windows 子系統）不區分大小寫的話就比較麻煩了。可以使用 git 底層指令直接產生一個刪除 User.md 的提交然後推送上去。需要的話留言，有空的時候折騰一下。