From 8c9193c8b11d216924bc8d14e413c0bd53153db8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Sat, 16 Jul 2022 13:05:53 +0200 Subject: [PATCH] precommit: Ignore .log files --- tools/precommit/precommit.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/precommit/precommit.py b/tools/precommit/precommit.py index 5aa5bbb843..a3635fa24f 100755 --- a/tools/precommit/precommit.py +++ b/tools/precommit/precommit.py @@ -112,9 +112,10 @@ def main(): continue file_list += [os.path.join(root, fn) for fn in files] - # Filter symlinks, backup copies, and hidden files. + # Filter symlinks, backup copies, logs, and hidden files. file_list = [fn for fn in file_list if not os.path.islink(fn)] file_list = [fn for fn in file_list if not fn[-1] in ("~", "#")] + file_list = [fn for fn in file_list if not fn.endswith(".log")] file_list = [fn for fn in file_list if not os.path.basename(fn).startswith(".")] # Sort files by size as larger ones will take longer to process.