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

Question

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

Answer 1

您的输入默认保存在 ~/.utop-history 。这还不足以达到你的目的吗？

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