just-say-linux.patch

   1 diff -dur -x '*.orig' grub-2.00.git20131218.orig/util/grub.d/10_linux.in grub-2.00.git20131218/util/grub.d/10_linux.in
   2 --- grub-2.00.git20131218.orig/util/grub.d/10_linux.in  2013-12-18 14:41:17.000000000 +0100
   3 +++ grub-2.00.git20131218/util/grub.d/10_linux.in       2013-12-18 14:42:46.000000000 +0100
   4 @@ -54,9 +54,9 @@
   5  CLASS="--class gnu-linux --class gnu --class os"
   6
   7  if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
   8 -  OS=GNU/Linux
   9 +  OS="$(. /etc/os-release ; echo "$NAME $VERSION")"
  10  else
  11 -  OS="${GRUB_DISTRIBUTOR} GNU/Linux"
  12 +  OS="${GRUB_DISTRIBUTOR}"
  13    CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}"
  14  fi
  15
  16 diff -dur -x '*.orig' grub-2.00.git20131218.orig/util/grub.d/20_linux_xen.in grub-2.00.git20131218/util/grub.d/20_linux_xen.in
  17 --- grub-2.00.git20131218.orig/util/grub.d/20_linux_xen.in      2013-12-18 14:41:17.000000000 +0100
  18 +++ grub-2.00.git20131218/util/grub.d/20_linux_xen.in   2013-12-18 14:43:11.000000000 +0100
  19 @@ -33,9 +33,9 @@
  20  CLASS="--class gnu-linux --class gnu --class os --class xen"
  21
  22  if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
  23 -  OS=GNU/Linux
  24 +  OS="$(. /etc/os-release ; echo "$NAME $VERSION")"
  25  else
  26 -  OS="${GRUB_DISTRIBUTOR} GNU/Linux"
  27 +  OS="${GRUB_DISTRIBUTOR}"
  28    CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}"
  29  fi
  30