I’d like to type
_________________________________________
between the standard options and some options I added in GRUB.
I know I have to edit /etc/grub.d/40_custom, but just giving
Code: Select all
menuentry "—————————————————————————————————————————————————————"
If I also add
Code: Select all
menuentry "—————————————————————————————————————————————————————" {
}
Code: Select all
sudo update-grub
I did it in the past, I had to reinstall, and now I don’t remember how I did it nor I can’t find out how.
Can anybody kindly help me out, please?
Thanks in advance!