Added updateproxy command and remote.name.annex-proxy configuration

So far this only records proxy information on the git-annex branch.
This commit is contained in:
Joey Hess 2024-06-04 14:50:38 -04:00
parent f3f40e03b4
commit f97f4b8bdb
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
10 changed files with 207 additions and 1 deletions

View file

@ -375,6 +375,7 @@ data RemoteGitConfig = RemoteGitConfig
, remoteAnnexConfigUUID :: Maybe UUID
, remoteAnnexMaxGitBundles :: Int
, remoteAnnexAllowEncryptedGitRepo :: Bool
, remoteAnnexProxy :: Bool
, remoteUrl :: Maybe String
{- These settings are specific to particular types of remotes
@ -459,6 +460,7 @@ extractRemoteGitConfig r remotename = do
fromMaybe 100 (getmayberead "max-git-bundles")
, remoteAnnexAllowEncryptedGitRepo =
getbool "allow-encrypted-gitrepo" False
, remoteAnnexProxy = getbool "proxy" False
, remoteUrl =
case Git.Config.getMaybe (remoteConfig remotename "url") r of
Just (ConfigValue b)