diff options
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 6db3429eb..49c3f43f3 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -40,6 +40,7 @@ gen r _ _ = name = Git.repoDescribe r, storeKey = uploadKey, retrieveKeyFile = downloadKey, + retrieveKeyFileCheap = downloadKeyCheap, removeKey = dropKey, hasKey = checkKey, hasKeyCheap = False, @@ -48,8 +49,8 @@ gen r _ _ = remotetype = remote } -downloadKey :: Key -> Bool -> FilePath -> Annex Bool -downloadKey key _ file = get =<< getUrls key +downloadKey :: Key -> FilePath -> Annex Bool +downloadKey key file = get =<< getUrls key where get [] = do warning "no known url" @@ -58,6 +59,9 @@ downloadKey key _ file = get =<< getUrls key showOutput -- make way for download progress bar downloadUrl urls file +downloadKeyCheap :: Key -> FilePath -> Annex Bool +downloadKeyCheap _ _ = return False + uploadKey :: Key -> Annex Bool uploadKey _ = do warning "upload to web not supported" |