diff --git a/scripts/rename_tutorial_src_files.py b/scripts/rename_tutorial_src_files.py new file mode 100644 index 000000000..02878adf9 --- /dev/null +++ b/scripts/rename_tutorial_src_files.py @@ -0,0 +1,15 @@ +#%% +from pathlib import Path +from string import digits + + +#%% +directory = Path("../docs/tutorial/src") +output_directory = Path("../docs/tutorial/out") +files = sorted([Path(f) for f in directory.iterdir()]) +for i, f in enumerate(files): + f: Path + index = str(i + 1).zfill(2) + new_name = output_directory / f"tutorial{index}.py" + print(new_name) + f.rename(new_name)