EFI

[Patrick Dupre]

Hello,

Is there not something wrong with this

When /boot/efi is ot mounted:
ls  /boot/efi/
EFI

while in the fstab 
UUID=A686-D625          /boot/efi               vfat    umask=0077,shortname=winnt,nofail 0 2

Indeed, I really have the mount the of /boot/efi during the boot
and of course
ls  /boot/efi/
is empty

Should I keep the vfat partition /boot/efi ? and move the EFI in /boot/efi
or just unmount this partition ?

Thank.

===========================================================================
 Patrick DUPRÉ                                 | | email: [e-mail]
 Laboratoire interdisciplinaire Carnot de Bourgogne
 9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
 Tel: [phone]                    | | Room# D114A
===========================================================================

[Roger Heflin]

df /boot/efi

And see if it is really mounted.  I am going to guess it is not.  And
it has nofail so will cleanly fail and not block the os.

After the df then try a
mount /boot/efi

On Tue, Jul 26, 2022 at 1:02 PM Patrick Dupre  wrote:
> Hello,
>
> Is there not something wrong with this
>
> When /boot/efi is ot mounted:
> ls  /boot/efi/
> EFI
>
> while in the fstab
> UUID=A686-D625          /boot/efi               vfat    umask=0077,shortname=winnt,nofail 0 2
>
> Indeed, I really have the mount the of /boot/efi during the boot
> and of course
> ls  /boot/efi/
> is empty
>
> Should I keep the vfat partition /boot/efi ? and move the EFI in /boot/efi
> or just unmount this partition ?
>
> Thank.
>
> ===========================================================================
>  Patrick DUPRÉ                                 | | email: [e-mail]
>  Laboratoire interdisciplinaire Carnot de Bourgogne
>  9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
>  Tel: [phone]                    | | Room# D114A
> ===========================================================================
> _______________________________________________
> users mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]
> 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/[e-mail]
> Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Patrick Dupre]

> df /boot/efi
>
> And see if it is really mounted.

Sorry, it is really mounted at boot.
I can umount and remount even with a file in /boot/efi/EFI is here

I am going to guess it is not.  And
> it has nofail so will cleanly fail and not block the os.
>
> After the df then try a
> mount /boot/efi
>
> On Tue, Jul 26, 2022 at 1:02 PM Patrick Dupre  wrote:
> > Hello,
> >
> > Is there not something wrong with this
> >
> > When /boot/efi is ot mounted:
> > ls  /boot/efi/
> > EFI
> >
> > while in the fstab
> > UUID=A686-D625          /boot/efi               vfat    umask=0077,shortname=winnt,nofail 0 2
> >
> > Indeed, I really have the mount the of /boot/efi during the boot
> > and of course
> > ls  /boot/efi/
> > is empty
> >
> > Should I keep the vfat partition /boot/efi ? and move the EFI in /boot/efi
> > or just unmount this partition ?
> >
> > Thank.
> >
> > ===========================================================================
> >  Patrick DUPRÉ                                 | | email: [e-mail]
> >  Laboratoire interdisciplinaire Carnot de Bourgogne
> >  9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
> >  Tel: [phone]                    | | Room# D114A
> > ===========================================================================
> > _______________________________________________
> > users mailing list -- [e-mail]
> > To unsubscribe send an email to [e-mail]
> > 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/[e-mail]
> > Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
>
> users mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]
> 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/[e-mail]
> Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Barry Scott]

> On 26 Jul 2022, at 19:02, Patrick Dupre  wrote:
>
> Hello,
>
> Is there not something wrong with this
>
> When /boot/efi is ot mounted:
> ls  /boot/efi/
> EFI

That is normal - at least for my systems.

$ mount | grep efi
efivarfs on /sys/firmware/efi/efivars type efivarfs (rw,nosuid,nodev,noexec,relatime)
/dev/sda1 on /boot/efi type vfat (rw,relatime,fmask=0077,dmask=0077,codepage=437,iocharset=ascii,shortname=winnt,errors=remount-ro)

$ find /boot/efi/
/boot/efi/
/boot/efi/EFI
/boot/efi/EFI/BOOT
/boot/efi/EFI/BOOT/BOOTX64.EFI
/boot/efi/EFI/BOOT/fbx64.efi
/boot/efi/EFI/fedora
/boot/efi/EFI/fedora/BOOTX64.CSV
/boot/efi/EFI/fedora/mmx64.efi
/boot/efi/EFI/fedora/shim.efi
/boot/efi/EFI/fedora/grubx64.efi
/boot/efi/EFI/fedora/shimx64.efi
/boot/efi/EFI/fedora/grub.cfg
/boot/efi/EFI/fedora/grubenv.rpmsave
/boot/efi/EFI/fedora/grub.cfg.rpmsave

$ cat /etc/fstab | grep efi
UUID=273D-F4E3          /boot/efi               vfat    umask=0077,shortname=winnt 0 2

Barry
> while in the fstab 
> UUID=A686-D625          /boot/efi               vfat    umask=0077,shortname=winnt,nofail 0 2
>
> Indeed, I really have the mount the of /boot/efi during the boot
> and of course
> ls  /boot/efi/
> is empty
>
> Should I keep the vfat partition /boot/efi ? and move the EFI in /boot/efi
> or just unmount this partition ?
>
> Thank.
>
> ===========================================================================
> Patrick DUPRÉ                                 | | email: [e-mail]
> Laboratoire interdisciplinaire Carnot de Bourgogne
> 9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
> Tel: [phone]                    | | Room# D114A
> ===========================================================================
> _______________________________________________
> users mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]
> 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/[e-mail]
> Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Patrick Dupre]

In addition to my previous question.
Should I have a grub.cfg in /boot/efi/EFI/fedora ?
> Hello,
>
> Is there not something wrong with this
>
> When /boot/efi is ot mounted:
> ls  /boot/efi/
> EFI
>
> while in the fstab 
> UUID=A686-D625          /boot/efi               vfat    umask=0077,shortname=winnt,nofail 0 2
>
> Indeed, I really have the mount the of /boot/efi during the boot
> and of course
> ls  /boot/efi/
> is empty
>
> Should I keep the vfat partition /boot/efi ? and move the EFI in /boot/efi
> or just unmount this partition ?
>
> Thank.
>
> ===========================================================================
>  Patrick DUPRÉ                                 | | email: [e-mail]
>  Laboratoire interdisciplinaire Carnot de Bourgogne
>  9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
>  Tel: [phone]                    | | Room# D114A
> ===========================================================================
> _______________________________________________
> users mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]
> 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/[e-mail]
> Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Chris Murphy]

On Wed, Jul 27, 2022, at 5:22 AM, Patrick Dupre wrote:
> In addition to my previous question.
> Should I have a grub.cfg in /boot/efi/EFI/fedora ?

There should be two:

/boot/efi/EFI/fedora/grub.cfg
/boot/grub2/grub.cfg

The first one has a few lines to find and load the 2nd one.

grubx$arch.efi assumes a grub.cfg in the same directory, hence the need for the 1st one; and this feature made the actual grub.cfg reside in /boot/grub2 regardless of arch or firmware type.
https://fedoraproject.org/wiki/Changes/UnifyGrubConfig

For what it's worth, there's many valid way to do this. Therefore it gets confusing because you have to evaluate all the tradeoffs of each layout.

[Patrick Dupre]

OK,
This is correct, but is is absolutely confusing !!!
Same name 2 different files !

Are there both generated by grub2-mkconfig -o /boot/grub2/grub.cfg ?
I do not think so, if I check the date of creation.
How is generated /boot/grub2/grub.cfg ?
> On Wed, Jul 27, 2022, at 5:22 AM, Patrick Dupre wrote:
> > In addition to my previous question.
> > Should I have a grub.cfg in /boot/efi/EFI/fedora ?
>
> There should be two:
>
> /boot/efi/EFI/fedora/grub.cfg
> /boot/grub2/grub.cfg
>
> The first one has a few lines to find and load the 2nd one.
>
> grubx$arch.efi assumes a grub.cfg in the same directory, hence the need for the 1st one; and this feature made the actual grub.cfg reside in /boot/grub2 regardless of arch or firmware type.
> https://fedoraproject.org/wiki/Changes/UnifyGrubConfig
>
> For what it's worth, there's many valid way to do this. Therefore it gets confusing because you have to evaluate all the tradeoffs of each layout.
>
> --
> Chris Murphy
> _______________________________________________
> users mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]
> 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/[e-mail]
> Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure

[Chris Murphy]

On Wed, Jul 27, 2022, at 12:13 PM, Patrick Dupre wrote:
> OK,
> This is correct, but is is absolutely confusing !!!
> Same name 2 different files !
>
> Are there both generated by grub2-mkconfig -o /boot/grub2/grub.cfg ?
> I do not think so, if I check the date of creation.
> How is generated /boot/grub2/grub.cfg ?

grub2-mkconfig creates /boot/grub2/grub.cfg

There's a script in grub2-common that creates /boot/efi/fedora/grub.cfg, hence the reinstallation instructions to delete it so it's properly recreated if accidentally stepped on:

https://fedoraproject.org/wiki/GRUB_2#Instructions_for_UEFI-based_systems

But ordinarily grub.cfg is static, you don't ever need to interact with it anymore. All the Fedora bootloader files are in /boot/loader/entries in BLS format. One file per kernel.