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

Question

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

Answer 1

MAC et Windows ne distinguent pas la casse des noms de fichiers par défaut. User.md et user.md doivent être le même fichier.
Cependant, les entrepôts distants utilisant Linux sont sensibles à la casse.

Essayez de définir le git local pour qu'il soit sensible à la casse, puis recommencez

git config core.ignorecase false

Answer 2

Ce sera plus gênant si votre système de fichiers (ou sous-système Windows) n'est pas sensible à la casse. Vous pouvez utiliser la commande git sous-jacente pour générer directement un commit qui supprime User.md puis le pousser vers le haut. Laissez un message si nécessaire et je le bricolerai quand j'aurai le temps.