From 6e759b164c228407771d40f7bcb253becd828d32 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 12 Jan 2025 14:31:57 +0000 Subject: Use leading zeroes when renumbering examples --- examples/renumber.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/renumber.py b/examples/renumber.py index 28a262c7..747bf6eb 100755 --- a/examples/renumber.py +++ b/examples/renumber.py @@ -24,7 +24,7 @@ def _main(): ) if is_in_range: new_number = old_number + args.delta - new_name = f"{new_number}{match[2]}" + new_name = f"{new_number:02}{match[2]}" new_path = os.path.join(example_dir, new_name) print(f"{name} -> {new_name}") -- cgit v1.2.3