On Mon, Apr 13, 2015 at 9:34 AM, Heinz Diehl <htd...@fritha.org> wrote: > On 13.04.2015, Tim wrote: >> >> Is the second one (efi) actually a partition, or just a directory >> inside /boot? > > It is a partition of its own, and must be FAT formatted.
"/boot/efi" doesn't have to be a separate mount. If you use gummiboot and don't want to have two copies of vmlinuz and initramfs on "/boot" and "/boot/efi", you can mount the ESP at "/boot". On my laptop: # findmnt --output TARGET,SOURCE,FSTYPE /boot TARGET SOURCE FSTYPE /boot systemd-1 autofs /boot /dev/sda1 vfat -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
