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.
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/ RemoveOldKernel s, authored the linux-purge tool, made this bug report and provided the patch. Please follow some accuracy and relevancy in comments.