Исходный код File.RenameError исключение

Исключение, которое возникает при неудачной переименовании файла.

Следующие поля этого исключения являются общедоступными и могут быть свободно обработаны:

• :source (Path.t/0) - путь к исходному файлу
• :destination (Path.t/0) - путь к целевому файлу
• :reason (File.posix/0) - причина, по которой переименование файла не удалось