Implement WithDocs= for apt

diff --git a/mkosi/installer/apt.py b/mkosi/installer/apt.py
index 4a5157af6093edda73ec4df6fc4037c58ed624ef..7e0e2bffda4b8bdb258f047f88b5778b9076a5e5 100644 (file)
--- a/mkosi/installer/apt.py
+++ b/mkosi/installer/apt.py
@@ -66,7 +66,7 @@ def apt_cmd(state: MkosiState, command: str) -> list[PathString]:
     trustedkeys_dir = state.pkgmngr / "etc/apt/trusted.gpg.d"
     trustedkeys_dir = trustedkeys_dir if trustedkeys_dir.exists() else "/usr/share/keyrings"
 
-    return [
+    cmdline: list[PathString] = [
         "env",
         f"APT_CONFIG={state.workspace / 'apt.conf'}",
         "DEBIAN_FRONTEND=noninteractive",
@@ -99,6 +99,17 @@ def apt_cmd(state: MkosiState, command: str) -> list[PathString]:
         "-o", "pkgCacheGen::ForceEssential=,",
     ]
 
+    if not state.config.with_docs:
+        cmdline += [
+            "-o", "DPkg::Options::=--path-exclude=/usr/share/doc/*",
+            "-o", "DPkg::Options::=--path-include=/usr/share/doc/*/copyright",
+            "-o", "DPkg::Options::=--path-exclude=/usr/share/man/*",
+            "-o", "DPkg::Options::=--path-exclude=/usr/share/groff/*",
+            "-o", "DPkg::Options::=--path-exclude=/usr/share/info/*",
+        ]
+
+    return cmdline
+
 
 def invoke_apt(
     state: MkosiState,