Fatal编程技术网
  • macos/
  • Macos OS X`rlwrap coqtop`不工作

Macos OS X`rlwrap coqtop`不工作

macos coq

Macos OS X`rlwrap coqtop`不工作,macos,homebrew,coq,coqide,rlwrap,Macos,Homebrew,Coq,Coqide,Rlwrap,rlwrap是处理REPL循环中的箭头键的好程序。在大多数情况下，它是有效的。例如rlwrap sbcl，rlwrap sml，等等。但是当涉及到rlwrap coqtop时，它失败了。错误信息如下所示。 rlwrap:错误：无法从/usr/local/cillar/rlwrap/0.41/share/rlwrap/completions/coqtop读取完成项：没有这样的文件或目录 我从coq网站下载了coqide，并使用自制安装了rlwrap。文件/usr/local/ceral/rlw

rlwrap
是处理
REPL
循环中的箭头键的好程序。在大多数情况下，它是有效的。例如
rlwrap sbcl
，
rlwrap sml
，等等。但是当涉及到
rlwrap coqtop
时，它失败了。错误信息如下所示。 

rlwrap:错误：无法从/usr/local/cillar/rlwrap/0.41/share/rlwrap/completions/coqtop读取完成项：没有这样的文件或目录

我从coq网站下载了
coqide
，并使用
自制
安装了
rlwrap
。文件
/usr/local/ceral/rlwrap/0.41/share/rlwrap/completions/coqtop
位于正确的位置。那么，有什么线索可以解决这个问题吗？或者有替代软件吗？
这是一个错误，适用于即将推出的rlwrap 0.42


如果您不想等待即将发布的版本，您可以随时从github获取最新的源代码（）
rlwrap 0.42于2014年11月14日发布。此版本修复了您的问题