我正在尝试使用 pandoc 将 HTML 文件转换为 MediaWiki 格式。我收到以下错误。(这是一个大文件,所以如果这是问题所在,我并不感到惊讶。)
我已经在 Google 上搜索过该错误信息,但没有找到任何合理/可理解的结果。
pandoc run_faster.html -f html -t mediawiki -s -o run_faster.txt
Stack space overflow: current size 16777216 bytes.
Use `+RTS -Ksize -RTS' to increase it.
究竟是什么原因导致了这个问题?我该如何解决它?
答案1
+RTS -Ksize -RTS
您可以使用以下命令增加 pandoc 的默认堆栈大小:
pandoc +RTS -K100000000 -RTS run_faster.html -f html -t mediawiki -s -o
这会将 pandoc 的堆栈大小从 16,777,216 字节增加到 100,000,000 字节。
如果遇到同样的错误,请使用更大的堆栈大小重试。
如果你得到不同的错误,那么你的 pandoc 副本可能没有被编译--ghc-options=-rtsopts=all