Re: how to always get menu in grub?