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

Fix annex.adviceNoSshCaching having no effect

Browse source 
git will always return option names in lowercase
This commit is contained in:
Reiko Asakura 2022-09-30 10:56:17 -04:00 • committed by Joey Hess
parent 49ee07f93d
commit 445aa0d93b
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Types/GitConfig.hs
View file

@ -265,7 +265,7 @@ extractGitConfig configsource r = GitConfig
| otherwise = Nothing | otherwise = Nothing
in mapMaybe get (M.toList (Git.config r)) in mapMaybe get (M.toList (Git.config r))
] ]
, annexAdviceNoSshCaching = getbool (annexConfig "adviceNoSshCaching") True , annexAdviceNoSshCaching = getbool (annexConfig "advicenosshcaching") True
} }
where where
getbool k d = fromMaybe d $ getmaybebool k getbool k d = fromMaybe d $ getmaybebool k