(onesmore because Provider-Webmailer destroyed the format) >(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. Activation in /etc/default/grub with: #GRUB_DISABLE_LINUX_UUID=true (not disable the LINUX_UUID!) GRUB_ENABLE_LINUX_LABEL=true ___________________________________________________________ Neu: WEB.DE De-Mail - Einfach wie E-Mail, sicher wie ein Brief! Jetzt De-Mail-Adresse reservieren: https://produkte.web.de/go/demail02
--- 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 ()