Commit 0cce7c1a authored by Vinit Veera's avatar Vinit Veera
Browse files

Rename contents of directories that start with c followed by two digits.

parent fe7c7bf3
Loading
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -574,7 +574,7 @@ def rename_generated_conditions(output_path: Path):
        Path to output directory
    """
    directory = output_path
    pattern = re.compile(r"^c\d{2}$")
    pattern = re.compile(r"^c\d{2}")
    for subdirectory in directory.iterdir():
        if subdirectory.is_dir() and pattern.match(subdirectory.name):
            for file_path in subdirectory.iterdir():