fn write_whole(path: &Path, text: &str) -> Result<(), String>
A text written whole: under another name, then renamed.