Attachment 712932 Details for Bug 923433 – Changes to 10_linux I made

[patch] Changes to 10_linux I made

10_linux.diff (text/plain), 1.57 KB, created by Peter Trenholme on 2013-03-19 20:01:15 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Peter Trenholme

Created: 2013-03-19 20:01:15 UTC

Size: 1.57 KB

patch

obsolete

>89c89
>< 	      title="$(printf "%s, with Linux %s (recovery mode)" "${os}" "${version}")" ;;
>---
>> 	      title="$(gettext_printf "%s, with Linux %s (recovery mode)" "${os}" "${version}")" ;;
>91c91
>< 	      title="$(printf "%s, with Linux %s" "${os}" "${version}")" ;;
>---
>> 	      title="$(gettext_printf "%s, with Linux %s" "${os}" "${version}")" ;;
>95c95
>< 	  quoted="\"$GRUB_ACTUAL_DEFAULT\""
>---
>> 	  quoted="$(echo "$GRUB_ACTUAL_DEFAULT" | grub_quote)"
>99c99
><       echo "menuentry \"$title\" ${CLASS} \$menuentry_id_option 'gnulinux-$version-$type-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
>---
>>       echo "menuentry '$(echo "$title" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-$version-$type-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
>101c101
><       echo "menuentry \"$os\" ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
>---
>>       echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
>243d242
><   if [ "x${GRUB_DISABLE_SUBMENU}" = x ]; then
>254,255c253
><       echo "submenu \"$(printf "Advanced options for %s" "${OS}")\" \$menuentry_id_option 'gnulinux-advanced-$boot_device_id' {"
><     fi
>---
>>     echo "submenu '$(gettext_printf "Advanced options for %s" "${OS}" | grub_quote)' \$menuentry_id_option 'gnulinux-advanced-$boot_device_id' {"
>271,272c269
>< if [ "x${GRUB_DISABLE_SUBMENU}" = x ]; then
><   if [ x"$is_first_entry" != xtrue ]; then
>---
>> if [ x"$is_first_entry" != xtrue ]; then
>274d270
><   fi

Actions: View | Diff

Attachments on bug 923433: 712932