diff options
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. |