Пандок имеет ошибку размера стека?

Question

Пандок имеет ошибку размера стека?

Я пытаюсь использовать pandoc для преобразования файла HTML в формат MediaWiki. Я получаю следующую ошибку. (Это большой файл, поэтому меня это не удивит, если это проблема.)

Я погуглил сообщение об ошибке, но результаты, которые я мог найти, не казались разумными / понятными.

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.

Что именно вызывает проблему, и как я могу это исправить?

0

linux html mediawiki pandoc stack

Источник

dluxcru 05 май '16 в 04:43

1 ответ

Решение

Другие вопросы по тегам linux html mediawiki pandoc stack

Mike Fitzpatrick 06 май '16 в 03:12 2016-05-06 03:12 · Accepted Answer · 2016-05-06 03:12

Вы можете увеличить размер стека pandoc по умолчанию, используя +RTS -Ksize -RTS в вашей команде следующим образом:

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