Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。












想要改善这个问题吗?更新问题,以便将其作为on-topic用于堆栈溢出。

7年前关闭。



Improve this question




在OCaml顶层utop中,是否可以在 session 期间将用户输入的历史记录保存到文件中?

最佳答案

默认情况下,您的输入保存在〜/.utop-history。
这还不够您的目的吗?

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

10-01 15:01