标准ML重复最后一个命令,左箭头？

Question

我正在使用其翻译学习标准ML.有时我会输入拼写错误,只想在Linux shell中重复上一个命令.但是,向上箭头最终会在屏幕上打印特殊字符.有时我想向左转去纠正一些东西,左箭头也会导致打印特殊字符.

有人知道这样做的正确方法是什么？

Answer 1

我使用莫斯科ML,但我认为答案将适用于您使用的任何版本:

你可以通过使用实现你想要的rlwrap.

我在我的设置中有以下别名.zshrc,它会自动处理:

alias mosml="rlwrap mosml"

(替换mosml您的SML解释器的名称.)

Answer 2

考虑使用程序 ledit。它允许您使用箭头键访问以前的命令。

例子：

ledit mosml