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 /src/Text/Pandoc/Readers/Odt/Namespaces.hs | |
| 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 'src/Text/Pandoc/Readers/Odt/Namespaces.hs')
0 files changed, 0 insertions, 0 deletions