Merge request: Linux entries title style

[Diego]

Hi,

I made a little change of /etc/grub.d/10_linux to assign, IMO, slightly 
better titles to Linux entries.
(Note: in the screenshot, the menu lacks of fallback and recoveryentries 
- the change is not involved in this.)

Do you think this change can be merged to the main code of GRUB 2?

Best regards.

Diego


$ diff -a .10_linux.bkp 10_linux
81a84,103
> linux_entry_title ()
> {
>   os="$1"
>   version="$2"
>   desc="$3"
>   if [ "$version" == "linux" ]; then
>       if [ "$desc" == "" ] ; then
>           gettext_printf "%s"      "${os}"
>       else
>           gettext_printf "%s (%s)" "${os}" "${desc}"
>       fi
>   else
>       if [ "$desc" == "" ] ; then
>           gettext_printf "%s, with %s" "${os}" "${version}"
>       else
>           gettext_printf "%s, with %s (%s)" "${os}" "${version}" 
"${desc}"
>       fi
>   fi
> }
>
95c117
<             title="$(gettext_printf "%s, with Linux %s (recovery 
mode)" "${os}" "${version}")"
---
>             title="$(linux_entry_title "${os}" "${version}" "recovery 
mode")"
97c119
<             title="$(gettext_printf "%s, with Linux %s (fallback 
initramfs)" "${os}" "${version}")"
---
>             title="$(linux_entry_title "${os}" "${version}" "fallback 
initramfs")"
99c121
<             title="$(gettext_printf "%s, with Linux %s" "${os}" 
"${version}")"
---
>             title="$(linux_entry_title "${os}" "${version}")"

grub2_screen.png
Description: PNG image