]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6f2161) | patch
PackExt: add a #getTmpExtension method 07/201807/2
authorAnna Papitto <annapapitto@google.com>
Tue, 9 May 2023 17:27:52 +0000 (10:27 -0700)
committerIvan Frade <ifrade@google.com>
Thu, 11 May 2023 20:49:55 +0000 (16:49 -0400)
commit2c89a3ec74a70bf8c9d89838e2e4cbf9dcea3b17
tree14bb2dcdb5b5496303e7437777600d36f0e36476tree | snapshot
parente6f216119f2624db1e51f3414a3fec7dc3d67a2fcommit | diff
PackExt: add a #getTmpExtension method

During garbage collection, extensions for temporary files for indices
are formatted manually.

Add a method to PackExt to generate the temporary file extensions for
each type of index file programmatically.

Change-Id: I210bc2702e750bf0aea643b1a9a8536adebef179
Signed-off-by: Anna Papitto <annapapitto@google.com>
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/pack/PackExt.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit