OS X `rlwrap coqtop` не работает

Question

rlwrap хорошая программа для работы со стрелками REPL петля. В большинстве случаев это работает. Например rlwrap sbcl, rlwrap sml, и так далее. Но когда дело доходит до rlwrap coqtop, это не удается. Информация об ошибке ниже. rlwrap: error: Couldn't read completions from /usr/local/Cellar/rlwrap/0.41/share/rlwrap/completions/coqtop: No such file or directory

Я загрузил coqide с сайта coq, и установлен rlwrap с помощью homebrew, Файл /usr/local/Cellar/rlwrap/0.41/share/rlwrap/completions/coqtop находится в нужном месте. Итак, есть ли ключ, как это исправить? Или есть замена программного обеспечения там?

Answer 1

Это ошибка, которая была исправлена в грядущем rlwrap 0.42.

Если вы не хотите ждать следующего выпуска, вы всегда можете получить новейший источник от github ( https://github.com/hanslub42/rlwrap).