Skip to main content

write_tmp

lemma_cli::install

Function write_tmp 

Source 
pub fn write_tmp(path: &Path, contents: &str) -> Result<PathBuf>
Expand description

Write contents to .{file}.tmp beside path, fsync. Does not rename.