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，并使用rlwrap安装了homebrew。文件/usr/local/Cellar/rlwrap/0.41/share/rlwrap/completions/coqtop位于正确的位置。那么，有什么线索如何解决这个问题？或者那里有替代软件吗？
答案 0 :(得分：1)
这是即将发布的rlwrap 0.42的has been fixed错误。
如果您不想等待即将发布的版本，您可以随时从github获取最新的来源（https://github.com/hanslub42/rlwrap）