diff options
author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-08-25 03:01:59 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-08-25 03:01:59 -0300 |
commit | 99115d4e4c8280be3e68fc02bdd7d9ece8ceb0d6 (patch) | |
tree | 48ab0fe5812998d0b3cdb3284d021f576851bc87 /libre/grub/grub-10_linux-rebrand-free-distros.patch | |
parent | 49fb84c481b4eb4e1dd582a5a023b2542e5af423 (diff) |
grub-parabola: add parabola suffix for the package
Diffstat (limited to 'libre/grub/grub-10_linux-rebrand-free-distros.patch')
-rw-r--r-- | libre/grub/grub-10_linux-rebrand-free-distros.patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/libre/grub/grub-10_linux-rebrand-free-distros.patch b/libre/grub/grub-10_linux-rebrand-free-distros.patch deleted file mode 100644 index 7edb22a1f..000000000 --- a/libre/grub/grub-10_linux-rebrand-free-distros.patch +++ /dev/null @@ -1,23 +0,0 @@ -diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in -index 00d1931..23de7ce 100644 ---- a/util/grub.d/10_linux.in -+++ b/util/grub.d/10_linux.in -@@ -31,7 +31,17 @@ CLASS="--class gnu-linux --class gnu --class os" - if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then - OS=GNU/Linux - else -- OS="${GRUB_DISTRIBUTOR} GNU/Linux" -+ if echo ${GRUB_DISTRIBUTOR} | grep -qi Parabola ; then -+ OS="${GRUB_DISTRIBUTOR} GNU/Linux-libre" -+ elif echo ${GRUB_DISTRIBUTOR} | grep -qi Blag ; then -+ OS="${GRUB_DISTRIBUTOR} Linux and GNU" -+ elif echo ${GRUB_DISTRIBUTOR} | grep -qi Musix ; then -+ OS="${GRUB_DISTRIBUTOR} GNU+Linux" -+ elif echo ${GRUB_DISTRIBUTOR} | grep -qi Dragora ; then -+ OS="${GRUB_DISTRIBUTOR} GNU/Linux-libre" -+ else -+ OS="${GRUB_DISTRIBUTOR} GNU/Linux" -+ fi - CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}" - fi - |