Re: How to Boot with LVM
Quoting ray (ray@aarden.us):
> On Wednesday, September 9, 2015 at 2:10:04 PM UTC-5, Pascal Hambourg wrote:
> > ray a écrit :
[...]
> > > A baffling point: In rEFInd the path is /boot/efi/EFI/debian/grubx64.efi
> >
> > How is it baffling ? The EFI system partition is mounted on /boot/efi
> > and the path relative to the partition filesystem root is
> > /EFI/debian/grubx64.efi. The EFI firmware does not care about where you
> > mount the EFI system partition.
> Baffling: Viewing with rEFInd, I see /boot/efi/EFI/debian/grubx64.efi
[...]
> > What's mounted on /boot/efi ?
> I am not sure what it means 'what's mounted on ...'.
Yes, it does seem to me that you don't understand the concept of
mounting.
You have a partition containing a filesystem which contains the sole
pathname EFI/debian/grubx64.efi as shown by
https://lists.debian.org/debian-user/2015/09/msg00273.html
listed under Fs8. EFI is the topmost directory, and that name is
probably obligatory. Within it can be any number of different
directories for different OSes that you might be booting, in this case
just debian. Within EFI/debian/ is grub's own file.
You can mount a filesystem (in a partition) onto any existing
directory, and you've chosen to mount on /boot/efi. Normally,
mountpoints are empty directories like this, set up for that purpose,
but in general they don't have to be. (However, if you mount a
filesystem onto a non-empty directory, any previous contents will he
hidden until you unmount the filesystem again.)
When you mount your filesystem onto your mountpoint, the files in
the filesystem will now appear under the mountpoint-directory.
Thus you get:
mountpoint
↓↓↓↓↓↓↓↓↓
/boot/efi/EFI/debian/grubx64.efi
↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑
filesystem paths
There's a couple of diagrams of this at
http://www.linuxchix.org/content/courses/filesystem/Lesson1.html
where /boot/efi ↔ /floppy and EFI/debian/grubx64.efi ↔ fun/Lesson1.html
Cheers,
David.
Reply to: