From 212e22b2b77d60128bd17c781f95892e4c6cc951 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 21 Sep 2024 18:55:24 -0700 Subject: [PATCH] fix: Handle file read errors in linter --- aider/linter.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/aider/linter.py b/aider/linter.py index fe30d0c08..caee4394c 100644 --- a/aider/linter.py +++ b/aider/linter.py @@ -83,7 +83,11 @@ class Linter: def lint(self, fname, cmd=None): rel_fname = self.get_rel_fname(fname) - code = Path(fname).read_text(encoding=self.encoding, errors="replace") + try: + code = Path(fname).read_text(encoding=self.encoding, errors="replace") + except OSError as err: + print(f"Unable to read {fname}: {err}") + return if cmd: cmd = cmd.strip()