--- 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|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.