Tim:
> > EFI is its own partition, that will be mounted inside /boot when Linux
> > boots.  I'm not actually sure why that decision was made, I don't see
> > why we couldn't have just had /EFI.  I suppose someone wanted to hide
> > all the boot things in /boot.  On this PC, it's wierdly nested, so
> > I have /boot/efi/EFI/centos.

Samuel Sieb:
> The partition is mounted at /boot/efi.  In that (fat32) partition is a 
> directory called "EFI" and in there are directories for each OS, e.g. 
> windows, fedora, centos, debian, etc.
> 
> Not much you can do about that.

I know, I'd already covered that, but I was just pointing out it was
less than straight-forward.

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?
 
-- 
 
uname -rsvp
Linux 3.10.0-1160.118.1.el7.x86_64 #1 SMP Wed Apr 24 16:01:50 UTC 2024 x86_64
 
Boilerplate:  All unexpected mail to my mailbox is automatically deleted.
I will only get to see the messages that are posted to the mailing list.
 

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

Reply via email to