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/bugs | |
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/bugs')
-rw-r--r-- | doc/bugs/importfeed_fails_when_using_the_option_--lazy_for_specific_podcast.mdwn | 4 |
1 files changed, 4 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]] |