diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-04-08 23:34:05 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-04-08 23:34:05 -0400 |
| commit | fc65cfc74d13600dc0b28847cd3b6f5062372dd4 (patch) | |
| tree | 54b8cf6caa931b2c15cbf8879b260cd2258afbc7 /doc/git-annex.mdwn | |
| parent | 81ebac3402d72a2cbdacd6830367dcd28429d105 (diff) | |
Added annex.web-download-command setting.
Diffstat (limited to 'doc/git-annex.mdwn')
| -rw-r--r-- | doc/git-annex.mdwn | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn index 83ed78257..933163133 100644 --- a/doc/git-annex.mdwn +++ b/doc/git-annex.mdwn @@ -966,7 +966,7 @@ Here are all the supported configuration settings. * `annex.web-options` Options to use when using wget or curl to download a file from the web. - (wget is always used in preference to curl if available). + (wget is always used in preference to curl if available.) For example, to force ipv4 only, set it to "-4" * `annex.http-headers` @@ -979,6 +979,16 @@ Here are all the supported configuration settings. If set, the command is run and each line of its output is used as a HTTP header. This overrides annex.http-headers. +* `annex.web-download-command` + + Use to specify a command to run to download a file from the web. + (The default is to use wget or curl.) + + In the command line, %url is replaced with the url to download, + and %file is replaced with the file that it should be saved to. + Note that both these values will automatically be quoted, since + the command is run in a shell. + * `remote.<name>.rsyncurl` Used by rsync special remotes, this configures |