On 2021-07-03 18:03, The Wanderer wrote:
I looked because "apt upgrade" failed to install things in /boot because no room left. I deleted the oldest kernel stuff of the 3 there and "apt upgrade" worked.I hope you removed them by uninstalling their kernel packages, not by just deleting the files from under /boot directly.
<cough> what happens if I might remove them by <cough> deleting them ? I don't see any option from grub for booting different kernels. mick -- Key ID 4BFEBB31