From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Mon, 24 Jun 2024 08:30:42 +0000 (+0200)
Subject: Don't rename vmlinux to vmlinuz when copying from /boot to /usr
X-Git-Tag: v24~88
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ffd43c9cd0e3923db759b536df2525cfe6496713;p=thirdparty%2Fmkosi.git

Don't rename vmlinux to vmlinuz when copying from /boot to /usr

We only want to rename vmlinux to vmlinuz when copying to the output
directory. In the image itself we can keep using the same name.

Follow up for 6972f9efba5c8472d990be3783b7e7dbf76e109e
---

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index ae6523e63..aa0b4b60b 100644
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -1711,8 +1711,7 @@ def fixup_vmlinuz_location(context: Context) -> None:
             if vmlinuz.is_symlink() and vmlinuz.is_relative_to("/boot"):
                 vmlinuz.unlink()
             if not vmlinuz.exists():
-                # Rename vmlinux -> vmlinuz when copying
-                shutil.copy2(d, vmlinuz.with_name("vmlinuz"))
+                shutil.copy2(d, vmlinuz)
 
 
 def gen_kernel_images(context: Context) -> Iterator[tuple[str, Path]]: