~elementary-os/elementaryos/os-patch-grub2-trusty

From 9b945075b6407e9cd862cee51eb244cb5f6ead80 Mon Sep 17 00:00:00 2001

From: Mario Limonciello <Mario_Limonciello@dell.com>

Date: Mon, 13 Jan 2014 12:13:14 +0000

Subject: Remove GNU/Linux from default distributor string for Ubuntu

 

Ubuntu is called "Ubuntu", not "Ubuntu GNU/Linux".

 

Author: Colin Watson <cjwatson@debian.org>

Author: Harald Sitter <apachelogger@kubuntu.org>

Forwarded: not-needed

Last-Update: 2013-12-25

 

Patch-Name: mkconfig_ubuntu_distributor.patch

---

 util/grub.d/10_linux.in | 9 ++++++++-

 1 file changed, 8 insertions(+), 1 deletion(-)

 

diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in

index 5f5c1c9..d343263 100644

--- a/util/grub.d/10_linux.in

+++ b/util/grub.d/10_linux.in

@@ -32,7 +32,14 @@ CLASS="--class gnu-linux --class gnu --class os"

 if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then

   OS=GNU/Linux

 else

-  OS="${GRUB_DISTRIBUTOR} GNU/Linux"

+  case ${GRUB_DISTRIBUTOR} in

+    Ubuntu|Kubuntu)

+      OS="${GRUB_DISTRIBUTOR}"

+      ;;

+    *)

+      OS="${GRUB_DISTRIBUTOR} GNU/Linux"

+      ;;

+  esac

   CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}"

 fi