27 lines
962 B
Diff
27 lines
962 B
Diff
Index: tboot-1.9.8/tboot/20_linux_tboot
|
|
===================================================================
|
|
--- tboot-1.9.8.orig/tboot/20_linux_tboot
|
|
+++ tboot-1.9.8/tboot/20_linux_tboot
|
|
@@ -72,7 +72,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) ${CLASS}"
|
|
fi
|
|
|
|
Index: tboot-1.9.8/tboot/20_linux_xen_tboot
|
|
===================================================================
|
|
--- tboot-1.9.8.orig/tboot/20_linux_xen_tboot
|
|
+++ tboot-1.9.8/tboot/20_linux_xen_tboot
|
|
@@ -63,7 +63,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) ${CLASS}"
|
|
fi
|
|
|