DRYer

.github/workflows/ci.py

@@ -59,7 +59,7 @@ def build_kitty():
 
 
 def test_kitty():
-    run('./kitty/launcher/kitty +launch test.py')
+    run('./test.py')
 
 
 def package_kitty():

.github/workflows/ci.yml

@@ -85,7 +85,7 @@ jobs:
               run: python .github/workflows/ci.py package
 
             - name: Run mypy
-              run: python test.py mypy
+              run: ./test.py mypy
 
             - name: Build man page
               run: make FAIL_WARN=1 man

kitty_tests/main.py

@@ -3,7 +3,7 @@
 
 import importlib
 import os
-import sys
+import shutil
 import unittest
 from importlib.resources import contents
 from typing import Callable, Generator, NoReturn, Sequence, Set
@@ -66,7 +66,8 @@ def type_check() -> NoReturn:
     generate_stub()
     from kittens.tui.operations_stub import generate_stub  # type: ignore
     generate_stub()
-    os.execlp(sys.executable, 'python', '-m', 'mypy', '--pretty')
+    py = shutil.which('python') or shutil.which('python3')
+    os.execlp(py, py, '-m', 'mypy', '--pretty')
 
 
 def run_cli(suite: unittest.TestSuite, verbosity: int = 4) -> None: