diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2010-12-07 00:45:58 +0100 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2010-12-07 16:18:29 -0800 |
| commit | e22f9552a8531a56fe2ffd7135da3e8607f708bc (patch) | |
| tree | 1834a9b8c7197929481c9d608ee9f4b772c26b04 /org.eclipse.jgit/resources | |
| parent | 70162ce14bd0447dac7adc5463813e8f758d83cf (diff) | |
| download | jgit-e22f9552a8531a56fe2ffd7135da3e8607f708bc.tar.gz jgit-e22f9552a8531a56fe2ffd7135da3e8607f708bc.zip | |
Provide file utilities for file deletion
Provide file helper methods in a reusable utility class to
replace many local implementations. java.io.File has some
methods reporting failure by returning false. We prefer to
throw IOException on failure so that callers can't forget
checking the return value.
Change-Id: I430c77b5d2cffcf8b47584326ad4817a7291845e
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/resources')
| -rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/JGitText.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/JGitText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/JGitText.properties index 338447e442..7c5e981199 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/JGitText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/JGitText.properties @@ -132,6 +132,7 @@ credentialPassword=Password credentialUsername=Username daemonAlreadyRunning=Daemon already running deleteBranchUnexpectedResult=Delete branch returned unexpected result {0} +deleteFileFailed=Could not delete file {0} deletingNotSupported=Deleting {0} not supported. destinationIsNotAWildcard=Destination is not a wildcard. detachedHeadDetected=HEAD is detached |