> The following works even if /boot is a separate partition. I see that you've based this code in 10_linux, but note that 10_linux has many other requisites and this way of handling it might be overly complicated when you're just trying to add one file, with static name.
I recommend just using ${GRUB_DRIVE_BOOT} straight away. See the script I sent to bug #422356. -- Robert Millan My spam trap is [EMAIL PROTECTED] Note: this address is only intended for spam harvesters. Writing to it will get you added to my black list. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]