diff options
| author | Cédric Couralet <cedric.couralet@gmail.com> | 2020-04-13 23:58:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 14:58:42 -0700 |
| commit | 34775b4128de2801e4d127064f012501ca18d208 (patch) | |
| tree | 7e88716b3404b5d91839979fe8d882b1dbed7ca5 /src/Text/Pandoc/App.hs | |
| parent | 21b1358a52d2825dbfa825ae06e7b15d022cc12c (diff) | |
| download | pandoc-34775b4128de2801e4d127064f012501ca18d208.tar.gz | |
Add an option to disable certificate validation (#6156)
This commit adds the option `--no-check-certificate`, which disables certificate
checking when resources are fetched by HTTP.
Co-authored-by: Cécile Chemin <cecile.chemin@insee.fr>
Co-authored-by: Juliette Fourcot <juliette.fourcot@insee.fr>
Diffstat (limited to 'src/Text/Pandoc/App.hs')
| -rw-r--r-- | src/Text/Pandoc/App.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index 899c35e23..aa75436a4 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -270,6 +270,8 @@ convertWithOpts opts = do mapM_ (uncurry setRequestHeader) (optRequestHeaders opts) + setNoCheckCertificate (optNoCheckCertificate opts) + doc <- sourceToDoc sources >>= ( (if isJust (optExtractMedia opts) then fillMediaBag |