use mangled hostname for gitlab repo when using a dedicated git-annex ssh key

This commit is contained in:
Joey Hess 2015-07-27 11:03:58 -04:00
parent 3972312a4f
commit 26d4eaa4e0
2 changed files with 15 additions and 7 deletions

View file

@ -325,11 +325,16 @@ setSshConfig sshdata config = do
(settings ++ config)
setSshConfigMode configfile
return $ sshdata { sshHostName = T.pack mangledhost }
return $ sshdata
{ sshHostName = T.pack mangledhost
, sshRepoUrl = replace orighost mangledhost
<$> sshRepoUrl sshdata
}
where
orighost = T.unpack $ sshHostName sshdata
mangledhost = mangleSshHostName sshdata
settings =
[ ("Hostname", T.unpack $ sshHostName sshdata)
[ ("Hostname", orighost)
, ("Port", show $ sshPort sshdata)
]