just-say-linux.patch

   1 diff -ur grub-2.04.orig/util/grub.d/10_linux.in grub-2.04/util/grub.d/10_linux.in
   2 --- grub-2.04.orig/util/grub.d/10_linux.in      2019-08-18 15:50:55.155000000 +0200
   3 +++ grub-2.04/util/grub.d/10_linux.in   2019-08-18 15:53:05.494000000 +0200
   4 @@ -29,9 +29,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 -ur grub-2.04.orig/util/grub.d/20_linux_xen.in grub-2.04/util/grub.d/20_linux_xen.in
  17 --- grub-2.04.orig/util/grub.d/20_linux_xen.in  2019-08-18 15:50:55.155000000 +0200
  18 +++ grub-2.04/util/grub.d/20_linux_xen.in       2019-08-18 15:53:05.494000000 +0200
  19 @@ -29,9 +29,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