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
coqidecoq の Web サイトからダウンロードrlwrapし、 homebrew. ファイル/usr/local/Cellar/rlwrap/0.41/share/rlwrap/completions/coqtopは適切な場所にあります。それで、これを修正する方法の手がかりはありますか？それとも代わりになるソフトはありますか？