Or perhaps remove one that isn't correct?
Well from now on this is how you are going to have to do it:
Note the proviso at the end there - every time you update a kernel you are going to have to do it all over again. It does work because I have done it. But my God what are they thinking of??Building a Totally Customized Menu:
Ok, admit you are a control freak and you want to see only what you build yourself - customized titles, no "memtest86+" and no extra kernels. Here is how you do it:
Run sudo update-grub to get the current available kernels.
Copy the desired "menuentry" listings from /boot/grub/grub.cfg to /etc/grub.d/40_custom The entry begins with the line starting with "menuentry" and ends with a line containing "}".
Add any other "menuentry" items you wish to see on the boot menu.
Edit the titles of the "menuentry" line if desired (between the quotation symbols). Do not change the lines following the "menuentry" line. Each entry should start with a "menuentry" line and end with a "}" on the last line.
Remove the executable bit from /etc/grub.d/10_linux, /etc/grub.d/20_memtest86+ and /etc/grub.d/30_os-prober
Removing the executable bit from any file in /etc/grub.d will exclude the file from being included in grub updates.
Code:
sudo chmod -x /etc/grub.d/10_linux /etc/grub.d/20_memtest86+ /etc/grub.d/30_os-prober
Run "sudo update-grub"
The updated /boot/grub/grub.cfg file should now contain only sections for "00_header", "05_debian_theme" and "40_custom".
The grub.cfg file will not be updated with the addition of a new kernel. To add a new kernel, make "10_linux" executable, run "sudo update-grub" to refresh the available kernels, and repeat these instructions.
The 'Sheldon's' that write this stuff have a marvellous grasp of scripting languages, but no grasp whatsoever on reality.