diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/progress-linux/0001-grub-distributor.patch | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0001-grub-distributor.patch b/debian/patches/progress-linux/0001-grub-distributor.patch new file mode 100644 index 0000000..21c809f --- /dev/null +++ b/debian/patches/progress-linux/0001-grub-distributor.patch @@ -0,0 +1,34 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Removing appending of 'GNU/Linux' to distributor name in boot menu. + +diff -Naurp grub2.orig/util/grub.d/10_linux.in grub2/util/grub.d/10_linux.in +--- grub2.orig/util/grub.d/10_linux.in ++++ grub2/util/grub.d/10_linux.in +@@ -36,14 +36,7 @@ CLASS="--class gnu-linux --class gnu --c + if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then + OS=GNU/Linux + else +- case ${GRUB_DISTRIBUTOR} in +- Ubuntu|Kubuntu) +- OS="${GRUB_DISTRIBUTOR}" +- ;; +- *) +- OS="${GRUB_DISTRIBUTOR} GNU/Linux" +- ;; +- esac ++ OS="${GRUB_DISTRIBUTOR}" + CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}" + fi + +diff -Naurp grub2.orig/util/grub.d/20_linux_xen.in grub2/util/grub.d/20_linux_xen.in +--- grub2.orig/util/grub.d/20_linux_xen.in ++++ grub2/util/grub.d/20_linux_xen.in +@@ -31,7 +31,7 @@ CLASS="--class gnu-linux --class gnu --c + if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then + OS=GNU/Linux + else +- OS="${GRUB_DISTRIBUTOR} GNU/Linux" ++ OS="${GRUB_DISTRIBUTOR}" + CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}" + fi + |