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 mv
comando 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.txt
funcionará 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