Greg Troxel
2022-08-20 12:16:09 UTC
My quick reaction is that the use of /boot for the 2nd-stage bootloader
is really longstanding, and that mounting some boot partition (EFI or
not) on /boot is much more recent.
I have a boot partition mounted on /grub, on a xen domU that uses pvgrub
(because that's how the dom0 is). I wouldn't mind renaming that to
align if there were a convention. That machine has a /boot which isn't
used, but is the standard image.
That leads me to want to have a new name for the boot partition, and
leave /boot alone. And, mounting the EFI partition is not critical;
it's great to have it in a standard place because upgrade tools have to
mess with it, etc., but I think the system will boot just fine even if
it isn't mounted.
I think the hard part is coming up with a sane name for where to mount
this. After a few minutes, my suggestion is /bootfs which conveys that
not only is this for booting, but that it's a mount point for a
filesystem, not a boot program. I see that as causing less total
torquing around over all users.
is really longstanding, and that mounting some boot partition (EFI or
not) on /boot is much more recent.
I have a boot partition mounted on /grub, on a xen domU that uses pvgrub
(because that's how the dom0 is). I wouldn't mind renaming that to
align if there were a convention. That machine has a /boot which isn't
used, but is the standard image.
That leads me to want to have a new name for the boot partition, and
leave /boot alone. And, mounting the EFI partition is not critical;
it's great to have it in a standard place because upgrade tools have to
mess with it, etc., but I think the system will boot just fine even if
it isn't mounted.
I think the hard part is coming up with a sane name for where to mount
this. After a few minutes, my suggestion is /bootfs which conveys that
not only is this for booting, but that it's a mount point for a
filesystem, not a boot program. I see that as causing less total
torquing around over all users.