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

Question

在OCaml toplevel utop中，是否可以在会话期间将用户输入历史记录保存到文件中？

Answer 1

您的输入默认保存在〜/ .utop-history中。 对你的目的来说还不够吗？

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