Ocaml 将输入历史记录从utop保存到文件

Ocaml 将输入历史记录从utop保存到文件,ocaml,utop,Ocaml,Utop,在OCaml顶级utop中,是否可以在会话期间将用户输入历史保存到文件中 您的输入默认保存在~/.utop history。 这对你来说还不够吗 您还可以通过操作UTop.history\u file\u name和其他变量来更改位置和文件大小。您是否试图做一些顽皮的事情,例如监视您的ocaml同事所做的事情?这怎么会偏离主题?还有两个utop指令可以将会话保存到特定文件中:#utop_stash和#utop_save。

在OCaml顶级utop中,是否可以在会话期间将用户输入历史保存到文件中

您的输入默认保存在~/.utop history。 这对你来说还不够吗


您还可以通过操作UTop.history\u file\u name和其他变量来更改位置和文件大小。

您是否试图做一些顽皮的事情,例如监视您的ocaml同事所做的事情?这怎么会偏离主题?还有两个utop指令可以将会话保存到特定文件中:#utop_stash和#utop_save。