Add update_problems_yaml --number to use numeric Sxx labels

Author: RagnarGrootKoerkamp

bin/config.py

@@ -120,7 +120,7 @@
 grep -Ev '^(h|jobs|time|verbose)$' | sed 's/^/"/;s/$/",/' | tr '\n' ' ' | sed 's/^/ARGS_LIST: Final[Sequence[str]] = [/;s/, $/]\n/'
 """
 # fmt: off
-ARGS_LIST: Final[Sequence[str]] = ["1", "add", "all", "answer", "api", "author", "check_deterministic", "clean", "colors", "contest", "contest_id", "contestname", "cp", "defaults", "default_solution", "depth", "directory", "error", "force", "force_build", "generic", "input", "interaction", "interactive", "invalid", "kattis", "lang", "latest_bt", "legacy", "memory", "more", "move_to", "no_bar", "no_generate", "no_solution", "no_solutions", "no_testcase_sanity_checks", "no_time_limit", "no_validators", "no_visualizer", "open", "order", "order_from_ccs", "overview", "password", "post_freeze", "problem", "problemname", "remove", "reorder", "samples", "sanitizer", "skel", "skip", "sort", "submissions", "table", "testcases", "time_limit", "timeout", "token", "tree", "type", "username", "valid_output", "watch", "web", "write"]
+ARGS_LIST: Final[Sequence[str]] = ["1", "add", "all", "answer", "api", "author", "check_deterministic", "clean", "colors", "contest", "contest_id", "contestname", "cp", "defaults", "default_solution", "depth", "directory", "error", "force", "force_build", "generic", "input", "interaction", "interactive", "invalid", "kattis", "lang", "latest_bt", "legacy", "memory", "more", "move_to", "no_bar", "no_generate", "no_solution", "no_solutions", "no_testcase_sanity_checks", "no_time_limit", "no_validators", "no_visualizer", "number", "open", "order", "order_from_ccs", "overview", "password", "post_freeze", "problem", "problemname", "remove", "reorder", "samples", "sanitizer", "skel", "skip", "sort", "submissions", "table", "testcases", "time_limit", "timeout", "token", "tree", "type", "username", "valid_output", "watch", "web", "write"]
 # fmt: on
 
 

bin/export.py

@@ -565,6 +565,15 @@ def update_problems_yaml(problems: list[Problem], colors: Optional[list[str]] =
                 d["label"] = label
                 label = inc_label(label)
 
+    if config.args.number:
+        n = 0
+        for d in data:
+            n += 1
+            newlabel = f"S{n:>02}"
+            if d["label"] != newlabel:
+                d["label"] = newlabel
+                change = True
+
     if change:
         if config.args.action in ["update_problems_yaml"] or ask_variable_bool(
             "Update problems.yaml with latest values"

bin/tools.py

@@ -927,6 +927,11 @@ def build_parser():
         action="store_true",
         help="Sort the problems by id.",
     )
+    updateproblemsyamlparser.add_argument(
+        "--number",
+        action="store_true",
+        help="Use Sxx as problem labels.",
+    )
     updateproblemsyamlparser.add_argument(
         "--legacy",
         action="store_true",