4
В OCaml toplevel utop можно сохранить историю ввода пользователя в файл во время сеанса?Сохранение истории ввода с utop в файл
A
ответ
3
Ваш вход сохраняется по умолчанию в ~/.utop-history. Разве это недостаточно для вашей цели?
Вы также можете изменить местоположение и размер файла, манипулируя UTop.history_file_name и другими переменными.
Вы пытаетесь сделать некоторые непослушные вещи, например, следить за тем, что сделал ваш коллега из ocaml? –
Как это не в тему? Это примерно так же специфично, как и получается. –