You are not logged in.

#1 2021-10-12 19:02:17

cdiamond
Member
Registered: 2012-02-01
Posts: 5

[SOLVED] wrong boot/EFI partition size

Hello,
Today I tried to install LTS kernel and failed with error 'not enough space on device'. EFI partition of 512 MB is mounted on /boot. Partition manager displays it is 512 MB, and 84 MB in use. But df command outputs that the size is 98MB and 14MB is free, so to check it I tried to copy a file larger than 14MB there and failed too.
I setup LUKS encryption to the rest of disk space if it matters. How to fix the EFI size problem?

Last edited by cdiamond (2021-10-13 06:14:50)

Offline

#2 2021-10-12 19:31:41

loqs
Member
Registered: 2014-03-06
Posts: 13,940

Re: [SOLVED] wrong boot/EFI partition size

Please post the output of the following substituting the correct path to the ESP

parted -l
mount
df -h
file -s /dev/$ESP

Last edited by loqs (2021-10-12 19:33:19)

Offline

#3 2021-10-12 19:37:03

V1del
Forum Moderator
Registered: 2012-10-16
Posts: 14,007

Re: [SOLVED] wrong boot/EFI partition size

Sounds like file system and partition size don't align. Not sure whether there's a fatresize tool or whether you'll have to reformat your partition. Another option would be to switch to a boot loader that can load your kernel images from your root partition and then not mounting your esp to /boot like e.g. switching to GRUB or refind.

Offline

#4 2021-10-13 04:29:29

cdiamond
Member
Registered: 2012-02-01
Posts: 5

Re: [SOLVED] wrong boot/EFI partition size

V1del wrote:

Sounds like file system and partition size don't align. Not sure whether there's a fatresize tool or whether you'll have to reformat your partition. Another option would be to switch to a boot loader that can load your kernel images from your root partition and then not mounting your esp to /boot like e.g. switching to GRUB or refind.

thank you, that was the case. I booted with gparted media, made a backup and format to fat32 (unfortunately libparted could not resize the the small filesystem)

Offline

#5 2021-10-13 06:13:12

V1del
Forum Moderator
Registered: 2012-10-16
Posts: 14,007

Re: [SOLVED] wrong boot/EFI partition size

Great, please mark as [SOLVED] by editing the title in your first post.

Offline

Board footer

Powered by FluxBB