From d4d60982415d69ab5e4759c6cd62e5db27866d02 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sat, 14 Sep 2024 00:17:17 +0200 Subject: [PATCH] mypy/grub --- rwx/grub/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rwx/grub/__init__.py b/rwx/grub/__init__.py index 21b2bf5..7c0cccc 100644 --- a/rwx/grub/__init__.py +++ b/rwx/grub/__init__.py @@ -25,8 +25,8 @@ def make_image( pubkey_path: str | None = None, ) -> None: """Make a binary bootable image.""" - args = [ - ("grub-mkimage",), + args: list[str | tuple[str, ...]] = [ + "grub-mkimage", ("--compress", COMPRESSION), ("--format", image_format), ("--output", image_path),