Bug#422357: A better patch

[Robert Millan]

 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]

Bug#422357: A better patch

[Paul Martin]

The following works even if /boot is a separate partition.

-- 
Paul Martin [EMAIL PROTECTED]
#!/bin/bash -e
name=memtest86+
binary=/boot/memtest86+.bin

if test -e $binary ; then
  echo Found $name: $binary 2
  basename=`basename $binary`
  dirname=`dirname $binary`
  grub_dirname=`echo ${dirname} | sed -e s%^/boot%${GRUB_DRIVE_BOOT}%g`

  cat  EOF
menuentry $name {
multiboot   ${grub_dirname}/${basename}
}
EOF
fi