How to clean up full /boot safely?

[Tom H]

On Mon, Feb 12, 2018 at 1:52 PM, Colin Watson <cjwatson at ubuntu.com> wrote:
> On Mon, Feb 12, 2018 at 06:57:09PM +0100, Liam Proven wrote:
>>
>> Let me clarify with an example.
>>
>> / is on /dev/md1, which is a mirrored pair of drives, /dev/sda and /dev/sdb
>
> I'd recommend that that actually be /dev/sda1 and /dev/sdb1 so that
> there's a bit of room at the front for the boot loader; it can be made
> to work otherwise, of course, but it's safer if you explicitly partition
> the physical disks.

Indeed. In my previous email, I'd provided some output. It was from an
mdraid1 mirror of sda1 and sdb1, not sda and sdb.