20 Nov
2019
20 Nov
'19
5:49 p.m.
Hi Hongyi,
The UEFI boot paths look weird because FAT32 uses Windows-style backslash path separators.
But I tried both of the following on *nix based distros, and it seems both will be correct:
-l \\EFI\\boot\bootx64.efi
or
-l /EFI/boot/bootx64.efi
Use the source that's processing the -l option; it's perhaps converting / into \ for the user's convenience. -- Cheers, Ralph.