diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-07-02 16:41:04 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-07-02 16:41:04 -0400 |
| commit | 6eb3a812876f5ca92cf4ec4555268187a38e0cce (patch) | |
| tree | d6e84e638e75a5050f4f238ba9ff6dde095daf84 /doc | |
| parent | 3776f6cfca400b4a7f8056cdf4031c347a6346cc (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/easy_way_to_reproduce_normal_download_command/comment_1_26ddfa03fcf51250b963cb9511a38404._comment | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/todo/easy_way_to_reproduce_normal_download_command/comment_1_26ddfa03fcf51250b963cb9511a38404._comment b/doc/todo/easy_way_to_reproduce_normal_download_command/comment_1_26ddfa03fcf51250b963cb9511a38404._comment new file mode 100644 index 000000000..2c050ffa3 --- /dev/null +++ b/doc/todo/easy_way_to_reproduce_normal_download_command/comment_1_26ddfa03fcf51250b963cb9511a38404._comment @@ -0,0 +1,15 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2015-07-02T20:36:22Z" + content=""" +Separate options could be added, but I'm not sure they're needed. +git-annex only ever runs one of curl or wget on a given system. + +Which one varies depending on what is installed (ie, it uses wget when +available and otherwise uses curl), but as long as that's +stable, you can just use annex.web-options to pass additional options to +whichever one it runs. + +FWIW, --limit-rate works for both curl and wget, more or less the same. +"""]] |