OS X‘`rlwrap `不工作

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

我从coq网站下载了coqide，并使用homebrew安装了rlwrap。文件/usr/local/Cellar/rlwrap/0.41/share/rlwrap/completions/coqtop位于正确的位置。有什么线索能解决这个问题吗？还是外面有一个替代软件？

Answer 1

这是一个已经修好了为即将到来的rlWrap0.42编写的bug。

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