[bug #62886] Wrong $cmdpath when booting from an optical disc

2022-08-11 Thread INVALID.NOREPLY
Follow-up Comment #3, bug #62886 (project grub): [comment #1 comment #1:] > FAT is case-insensitive While the El Torito image from which GRUB is launched is FAT, (cd0) which GRUB uses in its $cmdpath is ISO 9660 + Rock Ridge + Joliet. ___

[bug #62886] Wrong $cmdpath when booting from an optical disc

2022-08-11 Thread INVALID.NOREPLY
Follow-up Comment #2, bug #62886 (project grub): The issue is that configfile ${cmdpath}/grub.cfg doesn't work since $cmdpath is (cd0)/EFI/Boot. configfile (cd0)/EFI/Boot/grub.cfg doesn't work, while configfile (cd0)/EFI/BOOT/grub.cfg works. P.S. Sorry, I made a copy-paste fail in the "st

[bug #62886] Wrong $cmdpath when booting from an optical disc

2022-08-11 Thread Vladimir Serbinenko
Follow-up Comment #1, bug #62886 (project grub): What is the actual problem? FAT is case-insensitive so /EFI/Boot and /EFI/BOOT is the same thing on it. If some pay doesn't test it this way it's the problem of the days part ___ Reply to th

[bug #62886] Wrong $cmdpath when booting from an optical disc

2022-08-11 Thread INVALID.NOREPLY
URL: Summary: Wrong $cmdpath when booting from an optical disc Project: GNU GRUB Submitter: nl6720 Submitted: Thu 11 Aug 2022 12:55:39 PM EEST Category: Booting