Should I install Fedora 43 from scratch or just upgrade existing Fedora 42?

Ask Fedora
1

Hello,

The default size of the /boot mount partition in Fedora 43 was changed from 1GB to 2GB. It’s almost impossible to do this change on an existing system before or after upgrade to Fedora 43. So the easiest way of doing it is installing Fedora 43 from scratch, but this is quite a long undertaking. So my question is - do I really need the bigger /boot or in my particular case 1GB would be enough?

My hardware:

HP EliteBook 840 G11

CPU: Intel Core™ Ultra 7 155H

GPU: embedded in the Intel CPU, no other GPU

RAM: 32 GB

Disk: 1TB NVME

$ df -h | grep -e "boot" -e "/$" -e "/home"
/dev/dm-0       953G   23G  926G   3% /
/dev/dm-0       953G   23G  926G   3% /home
/dev/nvme0n1p2  974M  288M  619M  32% /boot
/dev/nvme0n1p1  599M   63M  537M  11% /boot/efi

/ and /home are btrfs and encrypted, /boot is ext4 and /boot/efi is vfat.

I’ve read following discussions about the reasons why the default size of /boot was increased from 1GB to 2GB, but still doubt is it relevant in my particular case.

For instance this notebook doesn’t have Nvidia GPU and so it doesn’t need to install that huge 100MB firmware file that was an example in one of those discussions.

Please advise, should I just upgrade Fedora 42 to Fedora 43 or it’s better to install Fedora 43 from scratch with new defaults? Are there any other reasons why it is better to install or update Fedora?

2

As you don’t have Nvidia I would say upgrade.
I have a pure AMD system and my /boot is 55% full with three kernels.

It sound like you are on top of the issues, you have the capacity to make your choice.

5 Likes
3

Hi Rosti,

I have a 1GB /boot on my disk, current usage is 720MB, and an Nvidia graphics adapter as well. I am running F43, upgraded starting with F38, and have not had any serious issues with space. IF I was going to change my partitioning, I would just get another new disk as an upgrade and start from scratch, preserving my home directory with a big tar file onto an external disk (or just leave it on the old disk, install the new disk, do the install and then just copy my personal stuff on to the new disk and repartion the old disk and make it usable for something else).