diff options
author | Mario Limonciello <Mario_Limonciello@dell.com> | 2014-01-13 12:13:14 +0000 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2020-03-07 12:21:22 +0000 |
commit | 267fd06cb9680bf457a1d9a4f532f8ce21c6ddf3 (patch) | |
tree | 36ca86e964abf4bdbfdce56cfd56b9b0f6d62abc /util/grub.d | |
parent | 13d2fe93f081930f1976fbd532672b44c5e7f90a (diff) |
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
Diffstat (limited to 'util/grub.d')
-rw-r--r-- | util/grub.d/10_linux.in | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in index 0509ac680..fd87a124d 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 |