]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Use zst as zstd file extension
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 28 Nov 2023 16:04:14 +0000 (17:04 +0100)
committerJörg Behrmann <behrmann@physik.fu-berlin.de>
Tue, 28 Nov 2023 16:43:41 +0000 (17:43 +0100)
mkosi/config.py

index 5a1d7e81ac8f53dfb3d878728dc6f5fc449e9406..7fe42e3c9eef1eb279632eb02ea6a9ece7f9fcd6 100644 (file)
@@ -159,6 +159,11 @@ class Compression(StrEnum):
     def __bool__(self) -> bool:
         return self != Compression.none
 
+    def extension(self) -> str:
+        return {
+            Compression.zstd: ".zst"
+        }.get(self, f".{self}")
+
 
 class DocFormat(StrEnum):
     auto     = enum.auto()
@@ -998,7 +1003,7 @@ class MkosiConfig:
         output = self.output_with_format
 
         if self.compress_output and self.output_format.use_outer_compression():
-            output += f".{self.compress_output}"
+            output += self.compress_output.extension()
 
         return output