From 44e2b6208a7417fd7728e21707770aefa4d7a2e2 Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Fri, 20 Jan 2023 09:11:57 +0100 Subject: [PATCH] fix: Update add_rule.py to create new files for rules --- scripts/add_rule.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/add_rule.py b/scripts/add_rule.py index 98837194fb..f1ae7f3262 100755 --- a/scripts/add_rule.py +++ b/scripts/add_rule.py @@ -42,7 +42,7 @@ def main(*, name: str, code: str, origin: str) -> None: fp.write("\n") # Add the relevant rule function. - with open(ROOT_DIR / "src/rules" / dir_name(origin) / "rules.rs", "a") as fp: + with open(ROOT_DIR / "src/rules" / dir_name(origin) / (snake_case(name) + ".rs"), "w") as fp: fp.write( f""" /// {code}