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 | |
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')
-rw-r--r-- | doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn | 4 | ||||
-rw-r--r-- | doc/git-annex.mdwn | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn b/doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn index c1ccf86c2..0d6bcb05c 100644 --- a/doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn +++ b/doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn @@ -71,3 +71,7 @@ HTTP request sent, awaiting response... 200 OK > switch, and/or to make git-annex set a default user agent header > of "git-annex", rather than relying on the curl/wget defaults. > --[[Joey]] + +> I've [[done]] what's discussed above, and verified it fixes +> behavior for this specific server too. +> --[[Joey]] 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. |