Grubb list menu

[Rashkae]

NoOp wrote:

> 
> The problem with the /etc/grub.d/40_custom (as far as I can tell) is
> that the file is intended to _add_ entries, but not remove entries. So I
> may still try your last suggestion.
> 

That's why you remove the executable bit from the other files.  That 
way, 40_custom is the only script that adds anything to grub.cfg, and 
therefore, all changes to it are entirely under your control.