OS X `rlwrap coqtop` 不工作答案

【问题标题】：OS X `rlwrap coqtop` not workingOS X `rlwrap coqtop` 不工作
【发布时间】：2015-01-05 22:11:43
【问题描述】：

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 位于正确的位置。那么，有什么线索可以解决这个问题吗？或者有替代软件吗？

【问题讨论】：

标签： macos homebrew coq coqide rlwrap

【解决方案1】：

这是 has been fixed 即将发布的 rlwrap 0.42 的错误。

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

【讨论】：

rlwrap 0.42 于 2014 年 11 月 14 日发布。此版本解决了您的问题