Я пытаюсь переименовать файл, чтобы иметь другую заглавную копию от того, что у него было до этого:
git mv src/collision/b2AABB.js src/collision/B2AABB.js
fatal: destination exists, source=src/collision/b2AABB.js, destination=src/collision/B2AABB.js
Как вы можете видеть, git подбрасывает это. Я попытался переименовать, используя только старую старую команду mv
, но git не забирает переименование (как переименование или новый файл без следа).
Как я могу изменить файл, чтобы иметь другую капитализацию с тем же именем? Я нахожусь в Mac OS X 10.7.3 с git 1.7.9.1, используя zsh 4.3.15.