(Now there is grub-pc 1.98+20100804-2 in squeeze.) Corrected Version of my
previous try:
---------------------------------------------------------------------------------
--- 10_linux 2010-07-12 13:10:04.000000000 +0200 +++ 10_linux_+label
2010-08-18 09:17:33.816200799 +0200 @@ -49,6 +49,12 @@
LINUX_ROOT_DEVICE=${GRUB_DEVICE} else
LINUX_ROOT_DEVICE=UUID=${GRUB_DEVICE_UUID} + GRUB_DEVICE_LABEL="$(blkid -l -t
UUID=${GRUB_DEVICE_UUID} -s LABEL -o value)" + . /etc/default/grub + if [
"x${GRUB_ENABLE_LINUX_LABEL}" = "xtrue" ] \ + && test -e
"/dev/disk/by-label/${GRUB_DEVICE_LABEL}" ; then +
LINUX_ROOT_DEVICE=LABEL=${GRUB_DEVICE_LABEL} + fi fi linux_entry ()
---------------------------------------------------------------------------------
- it moved after the setting of LINUX_ROOT_DEVICE=UUID=...., the previous was
not correct. - it sources /etc/default/grub for reading the Value of my
Variable GRUB_ENABLE_LINUX_LABEL, because that is no Variable in
/usr/sbin/update-grub (maybe it will be?). Also 20_linux_xen can be patched
with this.
___________________________________________________________
GRATIS für alle WEB.DE Nutzer: Die maxdome Movie-FLAT!
Jetzt freischalten unter http://movieflat.web.de
--- 10_linux 2010-07-12 13:10:04.000000000 +0200
+++ 10_linux_+label 2010-08-18 09:17:33.816200799 +0200
@@ -49,6 +49,12 @@
LINUX_ROOT_DEVICE=${GRUB_DEVICE}
else
LINUX_ROOT_DEVICE=UUID=${GRUB_DEVICE_UUID}
+ GRUB_DEVICE_LABEL="$(blkid -l -t UUID=${GRUB_DEVICE_UUID} -s LABEL -o value)"
+ . /etc/default/grub
+ if [ "x${GRUB_ENABLE_LINUX_LABEL}" = "xtrue" ] \
+ && test -e "/dev/disk/by-label/${GRUB_DEVICE_LABEL}" ; then
+ LINUX_ROOT_DEVICE=LABEL=${GRUB_DEVICE_LABEL}
+ fi
fi
linux_entry ()