I would like to remove the GNU/Linux
part from grub boot menu too. That’s just too much and a distraction to mention it for each and every grub boot menu entry. Just too much text and not relevant to what the user is focusing on.
Related /etc/grub.d/10_linux
code snippet:
if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
OS=GNU/Linux
else
case ${GRUB_DISTRIBUTOR} in
Ubuntu|Kubuntu)
OS="${GRUB_DISTRIBUTOR}"
;;
*)
OS="${GRUB_DISTRIBUTOR} GNU/Linux"
;;
esac
CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}"
fi
We’re either called Ubuntu
or Kubuntu
which is obviously not an option or string GNU/Linux
gets injected into variable OS
either way.
Translating that code snippet into human speech:
- if
GRUB_DISTRIBUTOR
is unset, set OS toGNU/Linux
- otherwise if
GRUB_DISTRIBUTOR
is set toUbuntu
orKubuntu
set OS to either of that - otherwise set OS to content of variable
GRUB_DISTRIBUTOR
and appendGNU/Linux
.
This would require an upstream patch. Change from:
Ubuntu|Kubuntu)
to
Ubuntu|Kubuntu|Whonix|Kicksecure)
or some other, more generic, non-hardcoded mechanism to be allowed to set variable OS
.
(Discussion on Linux
vs GNU/Linux
see here from this post: remodeling/fixing whonix homepage ui)