diff options
author | Joey Hess <joey@kitenet.net> | 2010-11-10 14:15:21 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-11-10 14:15:21 -0400 |
commit | fb824f7eb03c10301ad897d9e1eeb0aa40492a3d (patch) | |
tree | eaf3ddfc0ba7932f8f2e79be315e11fed191818e /Command/Unannex.hs | |
parent | f5f472e8550ae438b1dc751a18cccf0efbaccd1d (diff) |
use -- before filenames when running git add, git rm, etc
Diffstat (limited to 'Command/Unannex.hs')
-rw-r--r-- | Command/Unannex.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Command/Unannex.hs b/Command/Unannex.hs index a9c18f765..f5e78e55a 100644 --- a/Command/Unannex.hs +++ b/Command/Unannex.hs @@ -40,7 +40,7 @@ cleanup file key = do g <- Annex.gitRepo liftIO $ removeFile file - liftIO $ Git.run g ["rm", "--quiet", file] + liftIO $ Git.run g ["rm", "--quiet", "--", file] -- git rm deletes empty directories; put them back liftIO $ createDirectoryIfMissing True (parentDir file) |