J'ai changé le nom de quelques fichiers en dé-capitalisant la première lettre, comme dans Nom.jpg
en nom.jpg
. Git ne reconnaît pas ces changements et j'ai dû supprimer les fichiers et les télécharger à nouveau. Existe-t-il un moyen pour que Git soit sensible à la casse lors de la vérification des changements de noms de fichiers ? Je n'ai apporté aucune modification au fichier lui-même.
Vous pouvez utiliser [git mv][1] :
git mv -f OldFileNameCase newfilenamecase
Git possède un paramètre de configuration qui lui indique s'il doit être sensible ou non à la casse : core.ignorecase
. Pour dire à Git d'être sensible à la casse, mettez simplement ce paramètre à false
:
git config core.ignorecase false
Extrait de la documentation git config
:
core.ignorecase
Si elle est vraie, cette option active diverses solutions de contournement pour permettre à git de mieux fonctionner sur des systèmes de fichiers qui ne sont pas sensibles à la casse, comme FAT. Par exemple, si un listing de répertoire trouve
makefile
alors que git s'attend àMakefile
, git supposera qu'il s'agit réellement du même fichier, et continuera à le mémoriser commeMakefile
.
La valeur par défaut est false, sauf que git-clone(1) ou git-init(1) vérifieront et mettront
core.ignorecase
à true si nécessaire lorsque le dépôt sera créé.
Les deux systèmes d'exploitation les plus populaires qui ont des systèmes de fichiers insensibles à la casse sont, à ma connaissance, les suivants