diff options
author | Thenaesh Elango <thenaeshelango@gmail.com> | 2017-02-05 18:28:39 +0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-05 11:28:39 +0100 |
commit | 942189056d76cd8dedfe11436fb9a7b6a7b8724c (patch) | |
tree | 6ec17828e67426830c659f4b61b568bea0efe240 /test/lhs-test-markdown.native | |
parent | 2c3eeca8dfb33226ff4d2ef24e389c352b96edaf (diff) | |
download | pandoc-942189056d76cd8dedfe11436fb9a7b6a7b8724c.tar.gz |
Allow user to specify User-Agent (#3421)
This commit enables users to specify the User-Agent
header used when pandoc requests a document from
a URL. This is done by setting an environment variable.
For instance, one can do:
USER_AGENT="..." ./pandoc -f html -t markdown http://example.com
Signed-off-by: Thenaesh Elango <thenaeshelango@gmail.com>
Diffstat (limited to 'test/lhs-test-markdown.native')
0 files changed, 0 insertions, 0 deletions