add another setting to GitConfig
This commit is contained in:
parent
0942d3aed3
commit
0e3f931f37
2 changed files with 5 additions and 2 deletions
|
@ -412,7 +412,7 @@ saveState nocommit = doSideAction $ do
|
|||
{- Downloads content from any of a list of urls. -}
|
||||
downloadUrl :: [Url.URLString] -> FilePath -> Annex Bool
|
||||
downloadUrl urls file = do
|
||||
o <- map Param . words <$> getConfig (annexConfig "web-options") ""
|
||||
o <- map Param . annexWebOptions <$> Annex.getGitConfig
|
||||
headers <- getHttpHeaders
|
||||
liftIO $ anyM (\u -> Url.download u headers o file) urls
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue