Comment 41 for bug 1678187

Please check out https://help.ubuntu.com/community/ReportingBugs#Filing_a_general_bug_against_no_particular_package (and the document in general). Please tell me the URL of the report thereafter.

You told in #23 that you "Just ran in to this on Ubuntu 20.04", but to be precise it is not even possible, as Ubuntu 20.04 does not have linux-image-extra packages. Do linux-modules packages have some similar effect? Did you even try to remove a kernel by dpkg without running "update-initramfs -d"? Or did you even try removing a kernel by apt before that? It would be helpful if you provided the output of such commands that fail. You also told "The /boot partition is 732Mb, but is filled with initrd.img* files." Still there were no more of those than e.g. vmlinuz-* files in the listings you gave.

I have contributed to https://help.ubuntu.com/community/RemoveOldKernels, authored the linux-purge tool, made this bug report and provided the patch. Please follow some accuracy and relevancy in comments.