diff options
| author |  Joey Hess <joey@kitenet.net> | 2011-10-14 18:17:46 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2011-10-14 18:18:28 -0400 |
| commit | 9fa92141064a7682e1559bfa91a360c1ad5cb3dc (patch) | |
| tree | d009792edd0eb6143080458dd086165acb9cbff8 /doc/git-annex.mdwn | |
| parent | 3e07780bf881988eed491e1451b95cab86b7f552 (diff) | |
A remote can have a annexUrl configured, that is used by git-annex instead of its usual url. (Similar to pushUrl.)
Diffstat (limited to 'doc/git-annex.mdwn')
| -rw-r--r-- | doc/git-annex.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn index db19e9f7a..eefedbfbf 100644 --- a/doc/git-annex.mdwn +++ b/doc/git-annex.mdwn @@ -501,6 +501,12 @@ Here are all the supported configuration settings. Or, it could be used if the network connection between two repositories is too slow to be used normally. +* `remote.<name>.annexUrl` + + Can be used to specify a different url than the regular `remote.<name>.url` + for git-annex to use when talking with the remote. Similar to the `pushUrl` + used by git-push. + * `remote.<name>.annex-uuid` git-annex caches UUIDs of remote repositories here. |