diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-09-28 14:35:21 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-09-28 14:35:21 -0400 |
| commit | a05cefbd7cdfc75109d8f55c4cb699352745841c (patch) | |
| tree | a3d10d759b00a2c00340d352827fe9d287bed07c /doc/git-annex.mdwn | |
| parent | 309750f7588d7c9a6eadbdd30b630250f766311f (diff) | |
Send a git-annex user-agent when downloading urls.
Overridable with --user-agent option.
Not yet done for S3 or WebDAV due to limitations of libraries used --
nether allows a user-agent header to be specified.
This commit sponsored by Michael Zehrer.
Diffstat (limited to 'doc/git-annex.mdwn')
| -rw-r--r-- | doc/git-annex.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn index f0c81f07f..c06d1ffe9 100644 --- a/doc/git-annex.mdwn +++ b/doc/git-annex.mdwn @@ -824,6 +824,10 @@ subdirectories). Also, '\\n' is a newline, '\\000' is a NULL, etc. +* `--user-agent=value` + + Overrides the User-Agent to use when downloading files from the web. + * `-c name=value` Used to override git configuration settings. May be specified multiple times. |