jgit - 파일 확장명에 따라 자식 DIFF

nantitv :

나는 JGit의 API (사용하고 https://www.eclipse.org/jgit/을 자식 저장소에 액세스하기 위해).

망할 놈의 저장소에서, 나는 또한이 .txt 파일 및 기타 파일 형식을 저장하고있다. 나는 단지가 .txt 파일은 diff를 받아야 요구 사항에 달렸다.

기본적으로 나는 동등한를 달성하기 위해 노력하고

git diff master HEAD -- '*.txt'  

어떻게 파일 확장자에 따라 자식은 diff를 필터링하려면? JGit API를 사용하여.

이 답변에서 ( JGit의 자식은 diff의 등가 ) 나는 정상 DIFF을 얻는 방법을 이해했다. 그러나 나는 그에게 파일 확장자 제한을 추가하고 싶습니다하지만 난 아무것도 볼 수없는 DiffCommand문서 ( https://download.eclipse.org/jgit/site/5.2.0.201812061821-r/apidocs/index.html ).

어떤 사람은 몇 가지 포인터를 전해 주 시겠어요?

뤼디거 헤르만 :

당신은을 사용하는 경우 DiffFormatter에 제안 JGit의 자식은 diff의 등가 ,이 같은 나무 필터를 지정할 수 있습니다 :

TreeFilter treeFilter = PathSuffixFilter.create(".txt")

DiffFormatter diffFormatter = ...
diffFormatter.setPathFilter(treeFilter);

이 예제에서는 사용 PathSuffixFilter파일로 끝나는 제외 .txt.