summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAntonio Terceiro <terceiro@softwarelivre.org>2018-05-11 09:15:51 -0300
committerAntonio Terceiro <terceiro@softwarelivre.org>2018-05-11 09:15:51 -0300
commitc2ab316ec01adf02b8ecad88488c86dde6985de0 (patch)
tree7d0f6fccc5743a2e2d6f251552e49490dc24b3f2
parentd32e2b965d4e90c0f51a857d6aba92495e989c13 (diff)
pandoc-filter: add a timeout
-rwxr-xr-xpandoc-filter2
1 files changed, 1 insertions, 1 deletions
diff --git a/pandoc-filter b/pandoc-filter
index 394daa4..e5a46fc 100755
--- a/pandoc-filter
+++ b/pandoc-filter
@@ -1,3 +1,3 @@
#!/bin/sh
-exec pandoc
+exec timeout 10s pandoc