Samuel Sieb composed on 2025-12-30 10:34 (UTC-0800):
> Felix Miata wrote:
>> Deleting any obsolete directories from /boot/efi/EFI/ should free up space.
>> This
>> includes any extra ESPs that are no longer used or required, but the firmware
>> still finds existant.
> This has nothing to do with the EFI disk partition.
Hello? This what? If you mean the thread subject rather than what I wrote, then
OK, but firmware must acquire some data it stores from ESPs. After all, a /
filesystem not in use has neither firmware/, nor efi/, nor efivars/ in /sys/. It
has to come from somewhere when it is running.
EFI disk partition is a misnomer for the 32bit VFAT-formatted
EFI System Partition, aka ESP
which normally at the outset was designed to mount in GNU/Linux installations to
/boot/efi/, before some fool notion came along to put kernels, initrds and other
detritus on it as well, to mushroom its space requirement, and mix together
files
from multiple entire operating systems, rather than just de minimus for
bootloader
IPL.
https://en.wikipedia.org/wiki/EFI_system_partition
--
Evolution as taught in public schools is, like religion,
based on faith, not based on science.
Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!
Felix Miata
--
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
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/[email protected]
Do not reply to spam, report it:
https://pagure.io/fedora-infrastructure/new_issue
