Re: downsized grub menu.
Hi Samuel,
I see in /etc/grub2.cfg, it says at the top
---------------
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub2-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
---------------
I also see in lines 91-98
---------------
insmod gfxmenu
loadfont ($root)/grub2/themes/system/DejaVuSans-10.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-12.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-Bold-14.pf2
loadfont ($root)/grub2/fonts/unicode.pf2
insmod png
set theme=($root)/grub2/themes/system/theme.txt
export theme
---------------
Does this give us the information we need, or should I proceed with the
"forbidden" edit and the re-boot?
Thank-you,
Bill.