···

       
65
       
65
       
 
       


     

       
66
       
66
       
 
       
def copy_if_not_exists(source: Path, dest: Path) -> None:

     

       
67
       
67
       
 
       
    if not dest.exists():

     

       
68
       
68
       
-
       
        _hdl, tmpfile = tempfile.mkstemp(dir=dest.parent, prefix=dest.name)

     

       
69
       
69
       
-
       
        shutil.copyfile(source, tmpfile)

     

       
70
       
70
       
-
       
        shutil.move(tmpfile, dest)

     

       
68
       
68
       
+
       
        tmpfd, tmppath = tempfile.mkstemp(dir=dest.parent, prefix=dest.name, suffix='.tmp.')

     

       
69
       
69
       
+
       
        shutil.copyfile(source, tmppath)

     

       
70
       
70
       
+
       
        os.fsync(tmpfd)

     

       
71
       
71
       
+
       
        shutil.move(tmppath, dest)

     

       
71
       
72
       
 
       


     

       
72
       
73
       
 
       


     

       
73
       
74
       
 
       
def generation_dir(profile: str | None, generation: int) -> Path: