How to clean up full /boot safely?

[Ralf Mardorf]

On Mon, 12 Feb 2018 10:53:01 +0000, Colin Watson wrote:
>Of course it's necessary for GRUB to track on-disk format changes, and
>the more code you're relying on in the boot loader the more there is to
>go wrong, so it's true that there "might" be problems and I can
>understand it if people choose to avoid it anyway; but generally
>speaking if grub-install manages to work then you're OK.

+1

We don't need to discuss pros and cons of different bootloaders. We
might find a valid reason to seperate /boot from /, even when using
GRUB 2, but usually GRUB 2 doesn't require a separted /boot partition.