diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-01-02 14:20:20 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-01-02 14:20:20 -0400 |
| commit | aa0882691bb2aa64fb13f0df85be0469fd33d98d (patch) | |
| tree | 365eff7f04e32c88d0c5fbe09fe206be3532aad9 /Remote/Git.hs | |
| parent | 50ebfd265fca5271772ea35ed0aad834a8299298 (diff) | |
Added remote.name.annex-web-options configuration setting, which can be used to provide parameters to whichever of wget or curl git-annex uses (depends on which is available, but most of their important options suitable for use here are the same).
Diffstat (limited to 'Remote/Git.hs')
| -rw-r--r-- | Remote/Git.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index b9d9966a4..da81241eb 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -209,10 +209,8 @@ copyFromRemote r key file loc <- liftIO $ gitAnnexLocation key r rsyncOrCopyFile params loc file | Git.repoIsSsh r = rsyncHelper =<< rsyncParamsRemote r True key file - | Git.repoIsHttp r = liftIO $ downloadurls $ keyUrls r key + | Git.repoIsHttp r = Annex.Content.downloadUrl (keyUrls r key) file | otherwise = error "copying from non-ssh, non-http repo not supported" - where - downloadurls us = untilTrue us $ \u -> Url.download u file {- Tries to copy a key's content to a remote's annex. -} copyToRemote :: Git.Repo -> Key -> Annex Bool |