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 :-). -- _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
