Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。
想要改善这个问题吗?更新问题,以便将其作为on-topic用于堆栈溢出。
7年前关闭。
Improve this question
在OCaml顶层utop中,是否可以在 session 期间将用户输入的历史记录保存到文件中?
想要改善这个问题吗?更新问题,以便将其作为on-topic用于堆栈溢出。
7年前关闭。
Improve this question
在OCaml顶层utop中,是否可以在 session 期间将用户输入的历史记录保存到文件中?
最佳答案
默认情况下,您的输入保存在〜/.utop-history。
这还不够您的目的吗?
您还可以通过操作UTop.history_file_name和其他变量来更改位置和文件大小。
10-01 15:01