Ich versuche, eine Datei umzubenennen, damit sie eine andere Großschreibung hat als zuvor:
git mv src/collision/b2AABB.js src/collision/B2AABB.js
fatal: Ziel existiert bereits, Quelle=src/collision/b2AABB.js, Ziel=src/collision/B2AABB.js
Wie du siehst, reagiert Git darauf gereizt. Ich habe auch versucht, die Umbenennung nur mit dem guten alten mv
-Befehl durchzuführen, aber Git erkennt die Umbenennung nicht (weder als Umbenennung noch als neue nicht verfolgte Datei).
Wie kann ich eine Datei umbenennen, damit sie eine andere Großschreibung des gleichen Namens hat? Ich benutze Mac OS X v10.7.3 (Lion) mit Git 1.7.9.1 und Z Shell (zsh) 4.3.15.