rlwrapだった

goshやcoqtopなどのCLIプログラムは、履歴機能や補完機能が使えない。そういう時にはrlwrapでラップして使えば幸せだよっていうだけの話。こういうプログラムがあるのは知っていたが、名前が出てこなかったので、ずっと使えずに不便していた。

自作プログラムに、こうしたユーザー支援機能を搭載するのにも使えるかも。同じような機能を自分で実装するのは、面倒な上に無駄なことだしね。