Re: Hmmm... /boot is too small. what's the best way to increase it's size?

[Rick Thomas]

On Sun, May 10, 2020, at 1:17 AM, David Christensen wrote:
> On 2020-05-09 22:05, Will Mengarini wrote:
> > * Rick Thomas <rick.tho...@pobox.com> [20-05/09=Sa 20:05 -0700]:
> >> What's the best way to increase the size of /boot?
> > By creating a reliable backup and reformatting the disk to
> > the new format.  I've never found it to be cost-effective
> > to try anything else. 
> +1

Yeah, that's probably what I'll do.  Fortunately, it's an amd64 machine, so 
I'll be able to use GRML to do the work.
Enjoy!
Rick