On Fri, 3 May 2024 13:55:49 -0700
richard emberson wrote:
So, how can I increase the size of the /boot partition? Many
partitions,
like /tmp, are bigger than they need to be.
Might be worth a reinstall from scratch. I always make just a single /
partition and let all those other things be subdirectories. Never run
out of space unless the whole system runs out of space. You might be able to
do that with various copies of other partitions, renames, and merging
all the partitions into one with a disk tool running on a live image,
but probably have to reinstall grub at a minimum to make it work and
if I tried it, I'd probably screw something up and have to reinstall
anyway :-).