Removing appending of GNU/Linux to distributor name in boot menu.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

debian/patches/progress-linux/0001-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|*GNU/Linux)
+-      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
+ 

debian/patches/series

@@ -144,3 +144,4 @@ cve-2025-jan/fs-ext2-Rework-out-of-bounds-read-for-inline-and-external.patch
 cve-2025-jan/fs-xfs-Fix-grub_xfs_iterate_dir-return-value-in-case-of-f.patch
 cve-2025-jan/fs-xfs-Propagate-incorrect-inode-error-from-grub_xfs_read.patch
 cve-2025-jan/fs-xfs-Handle-root-inode-read-failure-in-grub_xfs_mount.patch
+progress-linux/0001-distributor.patch