How to increase size of /boot partition
Just today I upgraded from 39 to 40 but there was an issue:
dnf told me I needed some 800k more space in my /boot partition to proceed.
I had two kernels in /boot so I dnf removed those associated with the older
of the two kernels. I then successfully upgraded.
I fear the next time I do a dnf update which includes a new kernel I will
be told, again, that there is not enough space in my /boot partition.
So, how can I increase the size of the /boot partition? Many partitions,
like /tmp, are bigger than they need to be.
Here is what how the /sda disk is organized.
$ lsblk
NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINTS
sda 8:0 0 223.6G 0 disk
├─sda1 8:1 0 250M 0 part /boot
├─sda2 8:2 0 105.5G 0 part
│ └─luks-a2ebb2b0-527d-47f3-83ef-e5908805f31d
│ 253:3 0 105.5G 0 crypt /ssd
├─sda3 8:3 0 97.7G 0 part
│ └─luks-35719a97-5898-4420-9a56-1576ffdc6db3
│ 253:1 0 97.7G 0 crypt /
├─sda4 8:4 0 1K 0 part
├─sda5 8:5 0 9.8G 0 part
│ └─luks-5ee2ed8e-4bdf-43e1-adb0-34a70610a77f
│ 253:2 0 9.8G 0 crypt /tmp
└─sda6 8:6 0 9.8G 0 part
└─luks-03c06df8-f9b9-4f0d-847e-79a7ed527888
253:0 0 9.8G 0 crypt [SWAP]
$ df -h
Filesystem Size Used Avail Use% Mounted on
/dev/dm-1 96G 22G 70G 25% /
devtmpfs 4.0M 0 4.0M 0% /dev
tmpfs 16G 0 16G 0% /dev/shm
tmpfs 6.3G 1.8M 6.3G 1% /run
/dev/sda1 237M 179M 42M 82% /boot
/dev/dm-2 9.5G 260K 9.0G 1% /tmp
/dev/dm-3 104G 193M 99G 1% /ssd
/dev/dm-4 1.9T 1.2T 630G 66% /home
/dev/dm-5 1.7T 903G 736G 56% /data1
/dev/dm-6 20G 12G 6.9G 63% /var
tmpfs 3.2G 152K 3.2G 1% /run/user/1000
Thanks for any help give.
I realize one way is to backup /home and then reinstall Fedora but
1) that seems like a lot of work and
2) it would mean that the machine in question would then have to
use Wayland rather than Xorg.
Richard