Откуда берется автоматически сгенерированный файл # hello.ml # для hello.ml? - PullRequest
0 голосов
/ 30 сентября 2019

Я работаю над файлом с именем hello.ml в Ocaml в режиме emacs Taureg Merlin, и я понимаю, что в этом же каталоге находится файл #hello.ml# (не hellocaml.ml~). Я использовал только верхний уровень с #use "hello.ml" и звонил ocamlbuild в течение времени. Файл #hello.ml# в какой-то момент выглядит как простой текстовый снимок hello.ml. Я попытался обновить hello.ml и снова использовать #use на верхнем уровне, но #hello.ml# не синхронизирован с hello.ml. У кого-нибудь есть идея, откуда этот файл?

1 Ответ

0 голосов
/ 30 сентября 2019

Это файл автосохранения из Emacs. Он существует только тогда, когда у вас есть несохраненные изменения в Emacs. Благодаря этому файлу, в случае, если ваш компьютер (или только Emacs) дает сбой с несохраненными изменениями, Emacs может восстановить несохраненные изменения при перезапуске и повторном открытии файла.

(я описываю поведение по умолчанию, см. руководство по настройке.)

...