Как переименовать файл в JGit

Question

Как переименовать файл в JGit. То есть, учитывая рабочий файл с именем file1.

Командная строка будет выглядеть так:

git mv file1 file2 

Answer 1

Там нет прямого эквивалента git mv в Git. git mv находится в нескольких минутах рука для

mv oldname newname 
git add newname 
git rm oldname 

(see here)

Соответственно, использовать File.renameTo() или, в Java 7, Files.move() переместить файл, а затем

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

обновить индекс Git.

Обратите внимание, что пути, заданные для addFilePattern(), относятся к рабочему каталогу, а сегменты пути всегда должны быть разделены с помощью перекоса (/) независимо от используемой файловой системы.