Quoting ray (r...@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.
