2

rlwrapREPL是一个在循环中处理箭头键的好程序。在大多数情况下，它都有效。例如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位于正确的位置。那么，有什么线索可以解决这个问题吗？或者那里有替代软件？

4

1 回答 1

1

这是一个已为即将发布的 rlwrap 0.42 修复的错误。

如果您不想等待即将发布的版本，您可以随时从 github ( https://github.com/hanslub42/rlwrap )获取最新源代码

于 2014-11-11T09:03:36.360 回答