Date: Tue, 2 Mar 2021 21:14:29 -0800 From: Mark Millard <marklmi@yahoo.com> To: dev-commits-src-main@freebsd.org Subject: Re: Re: git: 2c26d77d989a - main - Remove /boot/efi from mtree, missed in 0b7472b3d8d2. Message-ID: <55E1AE46-25F4-43FD-8029-6CBD193638D8@yahoo.com> References: <55E1AE46-25F4-43FD-8029-6CBD193638D8.ref@yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
bdragon at FreeBSD.org wrote on Wed Mar 3 03:38:18 UTC 2021 : > grep -q rather. >=20 > In any case, instead of checking for directory existence, checking = whether something is actually mounted there. >=20 > On Tue, Mar 2, 2021, at 9:34 PM, Brandon Bergren wrote: > > OK, how about this as an idea then: > >=20 > > Parse mount output to see if anything is mounted to /boot/efi = directly? > >=20 > > if mount -p | cut -f 2 | grep '^/boot/efi$'; then > > .... > > fi > >=20 > > --=20 > > Brandon Bergren > > bdragon at FreeBSD.org > > I've no problem dealing with whatever ends up chosen. But I may be providing examples of what you may run into overall with folks that might not as easily adjust to rules that reserve some usage patterns. So I report the following for reference only. I've got aarch64 systems that do not automatically mount /boot/efi/ in FreeBSD but use EFI to boot FreeBSD. I only mount to /boot/efi/ when I want to update EFI material (or inspect it). Usually this is for separate removable media as far as where EFI material is vs. FreeBSD. The EFI media might be removed after booting in order to allow use of other media of the same type. I also have example aarch64 systems for which I have both /usb_efi and /microsd_efi because of direct booting USB vs. using a microsd card that in turn root-mounts the same USB drive. (Sometimes other infrastructure vintages/types determine what combinations can work.) In some contexts I used /boot/efi instead of /microsd_efi but that was commonly because of a normally less-removable eMMC that was in use instead of something live-removable, like a microsd card. (A convention I did not start with but progressed to with newer setups.) Whenever EFI might be on media not needed once FreeBSD has booted far enough, depending on EFI materials being mounted vs. not seems odd to me. =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?55E1AE46-25F4-43FD-8029-6CBD193638D8>