On Thursday, September 10, 2015 at 11:10:05 AM UTC-5, David Wright wrote: > Quoting ray : > > 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.
I have read the Lesson1 before and did not catch on. It took rereading these messages and exercising the system to get a little grip on this. Your perspective has been significantly different from the Lesson1 and others I have read and thus yours has been very helpful.
