allow directory remotes to be in different locations
Two machines might have access to the same directory remote on different paths, so don't include the path in its persistent config, instead use the git config to record it.
This commit is contained in:
parent
f379169d7a
commit
8b6ef15835
3 changed files with 37 additions and 45 deletions
|
@ -88,7 +88,7 @@ s3Setup u c = do
|
|||
Right _ -> return ()
|
||||
Left err -> error $ prettyReqError err
|
||||
|
||||
gitConfigSpecialRemote "s3" u fullconfig
|
||||
gitConfigSpecialRemote u fullconfig "s3" "true"
|
||||
return fullconfig
|
||||
where
|
||||
remotename = fromJust (M.lookup "name" c)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue