]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Log with which compression algorithm we're compressing
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 18 Dec 2023 13:33:34 +0000 (14:33 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 18 Dec 2023 13:55:31 +0000 (14:55 +0100)
mkosi/__init__.py

index d8e1ecb1ef61c0902d9d59689b526e422b86c8c9..509273107eb42fbbbe3f9913463600e8ca9860f3 100644 (file)
@@ -1700,7 +1700,7 @@ def maybe_compress(config: MkosiConfig, compression: Compression, src: Path, dst
     if not dst:
         dst = src.parent / f"{src.name}.{compression}"
 
-    with complete_step(f"Compressing {src}"):
+    with complete_step(f"Compressing {src} with {compression}"):
         with src.open("rb") as i:
             src.unlink() # if src == dst, make sure dst doesn't truncate the src file but creates a new file.