Estoy intentando cambiar el nombre de un file en un .git directory
local .git directory
:
git mv MyProj/src/ts0621/foobar.c NewProjName/src/ts0629/foobar.c
Sin embargo, git falla con:
fatal: renaming 'MyProj/src/ts0621/foobar.c' failed: No such file or directory
Podría jurar que tenía git mv
trabajando para mí al cambiar el nombre de un subdirectory, pero por alguna razón un simple cambio de nombre de un file no funciona. ¿Por qué?
(Yo, por supuesto, verifiqué que el file MyProj/src/ts0621/foobar.c
existe antes de intentar emitir este command)
Probablemente, porque NewProjName / src / ts0629 no existe
Tratar
mkdir -pv NewProjName/src/ts0629 git add NewProjName/src/ts0629
add -f, si la ruta es relativa, para boost git mv -f "originPath" "newPath"
git mv -f MyProj/src/ts0621/foobar.c NewProjName/src/ts0629/foobar.c