diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-15 22:11:43 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-15 22:13:15 -0700 |
| commit | d8804f4747b0214a3aca45ecdf6cb2f6a9d09646 (patch) | |
| tree | 67e89f8779b4736431885f783d3e9476de660e97 /MANUAL.txt | |
| parent | 2f66d57616c72ad82c64cf632a10d3e842eab533 (diff) | |
App: added --request-header option.
Diffstat (limited to 'MANUAL.txt')
| -rw-r--r-- | MANUAL.txt | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 7b5b28423..b71ea13fd 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -130,10 +130,11 @@ pandoc will fetch the content using HTTP: pandoc -f html -t markdown http://www.fsf.org -It is possible to supply a custom User-Agent string when requesting a -document from a URL, by setting an environment variable: +It is possible to supply a custom User-Agent string or other +header when requesting a document from a URL: - USER_AGENT="Mozilla/5.0" pandoc -f html -t markdown http://www.fsf.org + pandoc -f html -t markdown --request-header User-Agent:"Mozilla/5.0" \ + http://www.fsf.org If multiple input files are given, `pandoc` will concatenate them all (with blank lines between them) before parsing. This feature is disabled for @@ -728,6 +729,13 @@ General writer options `--resource-path=.:test` will search the working directory and the `test` subdirectory, in that order. +`--request-header=`*NAME*`:`*VAL* + +: Set the request header *NAME* to the value *VAL* when making + HTTP requests (for example, when a URL is given on the + command line, or when resources used in a document must be + downloaded). + Options affecting specific writers ---------------------------------- |