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.
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
