This repository has been archived on 2024-11-03. You can view files and clone it, but cannot push or open issues or pull requests.
evolution-packages/srcpkgs/grub/patches/evolutionos-is-not-gnu.patch

16 lines
512 B
Diff
Raw Normal View History

2023-09-05 17:28:40 +01:00
EvolutionOS is not GNU/Linux, it is just Linux. To keep on par with branding, I removed that too. It's not evolutionOS Linux.
--- 10_linux
+++ a/util/grub.d/10_linux.in
@@ -29,9 +29,9 @@
CLASS="--class gnu-linux --class gnu --class os"
if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
- OS="GNU/Linux"
+ OS=""
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