C'est un bug. Vous devez d'abord sauvegarder le fichier, puis le supprimer avec git rm. Après l'avoir validé une fois, ajoutez-le à nouveau et validez-le à nouveau
Windows et OS X ne sont pas sensibles à la casse dans les noms de fichiers, mais git lui-même l'est.
Vous pouvez utiliser git mv pour changer le nom :
git mv -f file File
sera modifié de file à File.
De plus, si votre système d'exploitation est sensible à la casse dans les noms de fichiers, vous pouvez vérifier si un paramètre core.ignoreCase dans la configuration (voir git-config) est la valeur par défaut (false) :
git config core.ignorecase
Si la valeur de retour n'est pas vide ou false, définissez-la sur false.
C'est un bug. Vous devez d'abord sauvegarder le fichier, puis le supprimer avec git rm. Après l'avoir validé une fois, ajoutez-le à nouveau et validez-le à nouveau
.Windows et OS X ne sont pas sensibles à la casse dans les noms de fichiers, mais git lui-même l'est.
Vous pouvez utiliser
git mv
pour changer le nom :sera modifié de
file
àFile
.De plus, si votre système d'exploitation est sensible à la casse dans les noms de fichiers, vous pouvez vérifier si un paramètre
core.ignoreCase
dans la configuration (voir git-config) est la valeur par défaut (false
) :Si la valeur de retour n'est pas vide ou
false
, définissez-la surfalse
.