문제

How do I rename a file in JGit. That is, given a working file named file1.

The command line would be:

git mv file1 file2
도움이 되었습니까?

해결책

There is no direct equivalent to git mv in Git. git mv is just a short hand for

mv oldname newname
git add newname
git rm oldname

(see here)

Respectively, use File.renameTo() or, since Java 7, Files.move() to move the file and then

git.add().addFilepattern( "newname" ).call();
git.rm().addFilepattern( "oldname" ).call();

to update the Git index.

The paths given to addFilePattern() must be relative to the work directory and path segments must always be separated by slashes (/) independent of the file system in use.

Note, that Git does not track renames or moves. When using the --follow option with git log, it uses heuristics to try to detect renamed or moved files (see Is it possible to move/rename files in Git and maintain their history?)

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top