diff options
author | 2010-10-14 14:14:19 -0400 | |
---|---|---|
committer | 2010-10-14 14:14:19 -0400 | |
commit | a200761e66f01a271c90ce67482105befca6ef09 (patch) | |
tree | 5b2d94670d63db3201851785b3c13bf6392b251b /Backend/File.hs | |
parent | f9557d7c5e2aa7ef19a5d589594154a21c7f2caa (diff) |
implemented basic --drop
Diffstat (limited to 'Backend/File.hs')
-rw-r--r-- | Backend/File.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Backend/File.hs b/Backend/File.hs index 2ac12487e..311fe820b 100644 --- a/Backend/File.hs +++ b/Backend/File.hs @@ -28,13 +28,15 @@ keyValue file = return $ Just $ Key file {- This backend does not really do any independant data storage, - it relies on the file contents in .git/annex/ in this repo, - - and other accessible repos. So storing or removing a key is + - and other accessible repos. So storing a key is - a no-op. TODO until support is added for git annex --push otherrepo, - then these could implement that.. -} dummyStore :: FilePath -> Key -> Annex (Bool) dummyStore file key = return True + +{- Allow keys to be removed. -} dummyRemove :: Key -> Annex Bool -dummyRemove url = return False +dummyRemove url = return True {- Try to find a copy of the file in one of the remotes, - and copy it over to this one. -} |