1. 首页
  2. 问答
  3. 将输入历史记录从utop保存到文件

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

2014-01-27 70 views
4

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

来源

2014-01-27 user1865034

+1

你是否试图做一些调皮的事情，如监视你的ocaml同事做了什么？ –

+2

这是关闭的话题？这是关于它的具体情况。 –

回答

3

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

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

来源

2014-01-27 23:34:33 rafix

相关问题

 相关问题