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@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