Estoy tratando de cambiar el nombre de un archivo para tener una capitalización diferente de la que tenía antes:
git mv src/collision/b2AABB.js src/collision/B2AABB.js
fatal: destination exists, source=src/collision/b2AABB.js, destination=src/collision/B2AABB.js
Como puedes ver, Git se enoja con esto. Intenté cambiar el nombre usando solo el mvcomando anterior, pero Git no elige el cambio de nombre (como un cambio de nombre o como un nuevo archivo sin seguimiento).
¿Cómo puedo cambiar un archivo para tener una capitalización diferente del mismo nombre? Estoy en Mac OS X v10.7.3 (Lion) con Git 1.7.9.1 usando Z shell (zsh) 4.3.15.
git mv hello.txt Hello.txtfuncionará en sistemas operativos que no distinguen entre mayúsculas y minúsculas. Vea mi respuesta a continuación
git mv myfile foo; git mv foo MyFile