Magellan Linux

  • Back to homepage
    • /[pkg-src]/trunk/grub/patches/grub-2.00-10_linux-pretty-names-from-etc-os-release.patch

    Contents of /trunk/grub/patches/grub-2.00-10_linux-pretty-names-from-etc-os-release.patch

    Parent Directory Parent Directory | Revision Log Revision Log

    Revision 2517 - (show annotations) (download)
    Wed Nov 5 10:51:08 2014 UTC (9 years, 5 months ago) by niro
    File size: 701 byte(s) 
    -generate pretty names from os-release if GRUB_DISTRIBUTION is not set
    1 diff -Naur grub-2.00/util/grub.d/10_linux.in grub-2.00-pretty/util/grub.d/10_linux.in
    2 --- grub-2.00/util/grub.d/10_linux.in 2014-11-05 13:47:22.289888037 +0100
    3 +++ grub-2.00-pretty/util/grub.d/10_linux.in 2014-11-05 13:48:55.625895071 +0100
    4 @@ -29,7 +29,8 @@
    5 CLASS="--class gnu-linux --class gnu --class os"
    6
    7 if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
    8 - OS=GNU/Linux
    9 + OS="$(eval $(grep PRETTY_NAME /etc/os-release) ; echo ${PRETTY_NAME})"
    10 + CLASS="--class $(eval $(grep '^ID_LIKE=\|^ID=' /etc/os-release) ; [ -n "${ID_LIKE}" ] && echo ${ID_LIKE} || echo ${ID}) ${CLASS}"
    11 else
    12 OS="${GRUB_DISTRIBUTOR}"
    13 CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1) ${CLASS}"