Attachment 8195 Details for Bug 18780 – /etc/grub.d/10_linux debug patch

[patch] /etc/grub.d/10_linux debug patch

10_linux.diff (text/plain), 837 bytes, created by Thierry Vignaud on 2016-07-17 16:33:14 CEST

(hide)

Description:

Filename:

MIME Type:

Creator: Thierry Vignaud

Created: 2016-07-17 16:33:14 CEST

Size: 837 bytes

patch

obsolete

--- /10_linux	2016-07-17 14:26:15.542000000 +0000
+++ /etc/grub.d/10_linux	2016-07-17 14:26:34.126000000 +0000
@@ -46,12 +46,15 @@
 
 # btrfs may reside on multiple devices. We cannot pass them as value of root= parameter
 # and mounting btrfs requires user space scanning, so force UUID in this case.
+echo "GRUB_DEVICE_UUID=${GRUB_DEVICE_UUID} || GRUB_DISABLE_LINUX_UUID=${GRUB_DISABLE_LINUX_UUID}" >&2
 if [ "x${GRUB_DEVICE_UUID}" = "x" ] || [ "x${GRUB_DISABLE_LINUX_UUID}" = "xtrue" ] \
     || ! test -e "/dev/disk/by-uuid/${GRUB_DEVICE_UUID}" \
     || ( test -e "${GRUB_DEVICE}" && uses_abstraction "${GRUB_DEVICE}" lvm ); then
+echo KO: LINUX_ROOT_DEVICE=${GRUB_DEVICE} >&2
   LINUX_ROOT_DEVICE=${GRUB_DEVICE}
 else
   LINUX_ROOT_DEVICE=UUID=${GRUB_DEVICE_UUID}
+echo OK: LINUX_ROOT_DEVICE=${UUID} >&2
 fi
 
 case x"$GRUB_FS" in

Actions: View | Diff

Attachments on bug 18780: 8084 | 8195 | 8196 | 8197 | 8198 | 8207 | 8213