On 5/3/24 13:55, richard emberson wrote:
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
This looks like you've been upgrading for a very long time. This type
of layout and partition sizes is ancient. /tmp isn't even a partition now.
The easiest option would be to use a live boot, shrink the /ssd
partition by 1GB, shift it forward, then give that space to /boot. I
assume that gparted can handle LUKS. And of course, make sure you have
a backup for whatever is in that partition if it's important.
An alternative would be to reformat the /tmp partition for /boot, move
the contents, adjust fstab, and update grub. But that's a lot more
space than needed.
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,
Yes, but maybe it's time. :-)
2) it would mean that the machine in question would then have to
use Wayland rather than Xorg and
Why would that be? You must have been listening to some misinformation.
If your current install can use Xorg, then re-installing won't be any
different.
3) with Wayland I could not use xfce4.
If you install with xfce, then that's what you'll be using...
--
_______________________________________________
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
