fn write_whole(path: &Path, text: &str) -> Result<(), String>
A file written beside its place under a hidden name, then renamed.