From a6d42275781c45f2f050dd72d2f0f7615502381b Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Fri, 30 Jun 2023 00:29:16 +0200 Subject: qt6 mypy: Fix lint --- scripts/dev/misc_checks.py | 1 + scripts/dev/run_vulture.py | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/dev/misc_checks.py b/scripts/dev/misc_checks.py index 998929827..044603468 100644 --- a/scripts/dev/misc_checks.py +++ b/scripts/dev/misc_checks.py @@ -268,6 +268,7 @@ def check_spelling(args: argparse.Namespace) -> Optional[bool]: pathlib.Path('scripts', 'dev', 'misc_checks.py'), pathlib.Path('scripts', 'dev', 'enums.txt'), pathlib.Path('qutebrowser', '3rdparty', 'pdfjs'), + pathlib.Path('qutebrowser', 'qt', '_core_pyqtproperty.py'), hint_data / 'ace' / 'ace.js', hint_data / 'bootstrap' / 'bootstrap.css', ] diff --git a/scripts/dev/run_vulture.py b/scripts/dev/run_vulture.py index b4b46fdb3..eb74a4258 100755 --- a/scripts/dev/run_vulture.py +++ b/scripts/dev/run_vulture.py @@ -192,7 +192,10 @@ def run(files): whitelist_file.close() vult = vulture.Vulture(verbose=False) - vult.scavenge(files + [whitelist_file.name]) + vult.scavenge( + files + [whitelist_file.name], + exclude="qutebrowser/qt/_core_pyqtproperty.py", + ) os.remove(whitelist_file.name) -- cgit v1.2.3-54-g00ecf