On 7/4/24 2:25 PM, Tim via users wrote:
And for what it's worth, on the newly installed Fedora 40 (after a
fight and half), it's not mounted on /boot/efi, but inside it (like my
CentOS example did).
i.e. /boot/efi/EFI/fedora
That's a clean install, so it does that itself.
We could have simply had /EFI mounted straight in root (for utter
simplicity), or /boot/EFI instead of /boot/efi/EFI.
Were we ever going to have any local files inside /boot/efi that needed
EFI to be deeper inside it?
You missed what I said. "EFI" is a directory *inside* the partition.
The partition itself is mounted at /boot/efi.
--
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam, report it:
https://pagure.io/fedora-infrastructure/new_issue
