···

       
8
       
8
       
 
       
import shutil

     

       
9
       
9
       
 
       
import subprocess

     

       
10
       
10
       
 
       
import sys

     

       
11
       
11
       
+
       
import tempfile

     

       
11
       
12
       
 
       
import warnings

     

       
12
       
13
       
 
       
import json

     

       
13
       
14
       
 
       
from typing import NamedTuple, Any, Sequence

     
···

       
64
       
65
       
 
       


     

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

     

       
66
       
67
       
 
       
    if not dest.exists():

     

       
67
       
67
       
-
       
        shutil.copyfile(source, 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)

     

       
68
       
72
       
 
       


     

       
69
       
73
       
 
       


     

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