Bug#558042: sugesting another patch

[Matthias Dellweg]

The following hot fix patch seems to work. And it also kills the doubled 
slashes (They must have been around with the old method, too.).
Greetings, Matthias

--- 10_linux.OLD        2009-11-27 18:17:52.000000000 +0100
+++ 10_linux    2009-11-27 18:18:18.000000000 +0100
@@ -87,7 +87,9 @@ while [ "x$list" != "x" ] ; do
   echo "Found linux image: $linux" >&2
   basename=`basename $linux`
   dirname=`dirname $linux`
-  rel_dirname=`make_system_path_relative_to_its_root $dirname`
+  rel_linux=`make_system_path_relative_to_its_root $linux`
+  rel_dirname=`dirname $rel_linux`
+  [ "$rel_dirname" = "/" ] && rel_dirname=
   version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
   alt_version=`echo $version | sed -e "s,\.old$,,g"`
   linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"


Am Freitag, 27. November 2009 schrieb pancho horrillo:
> Just tried it, and this happens:
> N.B.: Duplicate set of entries, and // instead of /
> Grub is able to boot from // paths, though.

--
I must have had my mind bound to forget about the mount bind.