On Sun, Feb 18, 2024 at 10:48:32AM +0100, Germano Massullo wrote:
Hello, during a dnf update I noticed that /boot/efi was full and the
system
was not able to update.
So I found out in /boot/efi/EFI/Linux/ there are many files belonging to
kernel RPMs no longer installed on the system.
I am wondering why there are these leftovers. Some of the kernel with
.fc39.1 in their name are from RPMs I created to test kernel patches, but
they don't have anything special compared to regular Fedora kernel RPMs,
since I just rebuilt the package after having added a patch.
The kernel-install plugins /usr/lib/kernel/install.d/90-uki-copy.install
and (in case uki-direct is installed)
/usr/lib/kernel/install.d/99-uki-uefi-setup.install should handle both
installing and removing the kernel images. Apparently there is a bug on
one of these two scripts ...
Try 'rpm -q --scripts kernel-uki-virt' and run the 'kernel-install add'
and 'kernel-install remove' commands manually, with '-v' option added
for verbose output. That should give a clue where things are failing.
take care,
Gerd