diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-10-03 14:23:02 +0000 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-10-03 14:23:02 +0000 |
| commit | ec0506f7c9fc0eaf36276aeede02dba0f3c1910d (patch) | |
| tree | 1116295b9c9e041ca6f7de0c574168b6eec358d7 /user/grub/adelie-branding.patch | |
| parent | ec183e77419e32daf7660202b9734ba165fb86d6 (diff) | |
| download | packages-ec0506f7c9fc0eaf36276aeede02dba0f3c1910d.tar.gz packages-ec0506f7c9fc0eaf36276aeede02dba0f3c1910d.tar.bz2 packages-ec0506f7c9fc0eaf36276aeede02dba0f3c1910d.tar.xz packages-ec0506f7c9fc0eaf36276aeede02dba0f3c1910d.zip | |
user/grub: bump to 2.0.4
Diffstat (limited to 'user/grub/adelie-branding.patch')
| -rw-r--r-- | user/grub/adelie-branding.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/user/grub/adelie-branding.patch b/user/grub/adelie-branding.patch new file mode 100644 index 000000000..606c1e6e9 --- /dev/null +++ b/user/grub/adelie-branding.patch @@ -0,0 +1,25 @@ +--- grub-2.04/util/grub.d/10_linux.in.old 2018-11-24 17:13:02.000000000 +0000 ++++ grub-2.04/util/grub.d/10_linux.in 2019-10-03 01:22:34.593401423 +0000 +@@ -28,12 +28,16 @@ + + CLASS="--class gnu-linux --class gnu --class os" + +-if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then +- OS=GNU/Linux +-else +- OS="${GRUB_DISTRIBUTOR} GNU/Linux" +- CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}" +-fi ++case "x${GRUB_DISTRIBUTOR}" in ++ x) ++ OS=GNU/Linux;; ++ xAdélie|xAdelie) ++ OS="Adélie Linux"; ++ CLASS="--class adelie";; ++ *) ++ OS="${GRUB_DISTRIBUTOR} GNU/Linux"; ++ CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}";; ++esac + + # loop-AES arranges things so that /dev/loop/X can be our root device, but + # the initrds that Linux uses don't like that. |