1. 首頁
  2. 問答
  3. 將輸入歷史記錄從utop保存到文件

將輸入歷史記錄從utop保存到文件

2014-01-27 72 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

相關問題

 相關問題