Attachment 8196 Details for Bug 18780 – sh -x grub2-mkconfig output diff (w/ & w/o previous patch)

[patch] sh -x grub2-mkconfig output diff (w/ & w/o previous patch)

2.diff (text/plain), 758 bytes, created by Thierry Vignaud on 2016-07-17 16:34:43 CEST

(hide)

Description:

Filename:

MIME Type:

Creator: Thierry Vignaud

Created: 2016-07-17 16:34:43 CEST

Size: 758 bytes

patch

obsolete

--- /tmp/ERR	2016-07-17 14:14:41.683000000 +0000
+++ /tmp/ERR2	2016-07-17 14:26:36.524000000 +0000
@@ -156,6 +156,8 @@
 + echo
 + echo '### BEGIN /etc/grub.d/10_linux ###'
 + /etc/grub.d/10_linux
+GRUB_DEVICE_UUID=5f5037b7-0d8d-4c4d-b085-53d217e798ab || GRUB_DISABLE_LINUX_UUID=
+KO: LINUX_ROOT_DEVICE=/dev/vda6
 Found linux image: /boot/vmlinuz-4.7.0-desktop-0.rc7.4.mga6
 Found initrd image: /boot/initrd-4.7.0-desktop-0.rc7.4.mga6.img
 Found linux image: /boot/vmlinuz-desktop
@@ -163,6 +165,8 @@
 + echo '### END /etc/grub.d/10_linux ###'
 + for i in '"${grub_mkconfig_dir}"/*'
 + case "$i" in
++ for i in '"${grub_mkconfig_dir}"/*'
++ case "$i" in
 + grub_file_is_not_garbage /etc/grub.d/20_linux_xen
 + test -f /etc/grub.d/20_linux_xen
 + case "$1" in

Actions: View | Diff

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