mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Added annex.adviceNoSshCaching config.

Browse source 
Sponsored-by: Brock Spratlen on Patreon
This commit is contained in:
Joey Hess 2021-05-27 12:37:39 -04:00
parent 9ad9e1eb65
commit 189fb05ffb
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
5 changed files with 27 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Types/GitConfig.hs
View file

@ -139,6 +139,7 @@ data GitConfig = GitConfig
, gpgCmd :: GpgCmd
, mergeDirectoryRenames :: Maybe String
, annexPrivateRepos :: S.Set UUID
, annexAdviceNoSshCaching :: Bool
}
extractGitConfig :: ConfigSource -> Git.Repo -> GitConfig
@ -255,6 +256,7 @@ extractGitConfig configsource r = GitConfig
| otherwise = Nothing
in mapMaybe get (M.toList (Git.config r))
]
, annexAdviceNoSshCaching = getbool (annexConfig "adviceNoSshCaching") True
}
where
getbool k d = fromMaybe d $ getmaybebool k