diff --git a/.gitignore b/.gitignore index baa31a543..71958d693 100644 --- a/.gitignore +++ b/.gitignore @@ -58,3 +58,4 @@ mini-swe-agent/ # Nix .direnv/ result +.aider* diff --git a/scripts/syntax_guard.py b/scripts/syntax_guard.py index 7c41dc9b4..d9c36acc0 100755 --- a/scripts/syntax_guard.py +++ b/scripts/syntax_guard.py @@ -5,7 +5,14 @@ import sys from pathlib import Path errors = [] -for p in Path(".").rglob("*.py"): +script_dir = Path(__file__).resolve().parent +repo_root = script_dir +while not (repo_root / ".git").is_dir(): + repo_root = repo_root.parent + if repo_root == repo_root.parent: + break # Prevent infinite loop if not in a git repo + +for p in repo_root.rglob("*.py"): if ".venv" in p.parts or "__pycache__" in p.parts: continue try: