mint: virtualbox no grubmenu

问题很简单：就是在virtualbox中启动mint15的时候，没有grubmenu显示，而为了给mint配置启动参数，其中方法之一就是在启动mint15的时候手动设置。

解决方法1：启动的时候按住键

Rereading the instruction that you linked to I understand youruncertainty about the need to access the boot menu:

(1) They first change a kernel paramater on the fly byaccessing the grub boot menu.

(2) After the system is up, they change it permanently byediting /etc/default/grub and then runnning update-grub.

Editing that file manually is perfectly all right. No need toinstall some extra software for this purpose, unless you want to doso.

OK. At boot time immediately after the BIOS splash screen,press and hold the key until the boot menu appears. - Forgot thatit may be necessary to do so. If there is only one operating systemon the disk, then grub considers it unnecessary to display the bootmenu unless the key is pressed. - All my machines are dual boot atminimum, so grub will automatically display the boot menuhere.

GRUB_TIMEOUT=10 specifies the count down time after which Grubwill boot the default boot option unless you have pressed a key.Pressing any key during the GRUB_TIMEOUT seconds will stop thecountdown.

缺陷：在某些环境下键并不能很好的工作。

Note: The "SHIFT" keystatus check is currently nested withinin a conditional statement within /etc/grub.d/30_os-prober and maynot work under certain circumstances.

解决方法2：在/etc/default/grub中配置启动设置，注释掉GRUB_HIDDEN_TIMEOUT，增加GRUB_TIMEOUT=10.

GRUB_TIMEOUT=10

GRUB_DEFAULT=0

#GRUB_HIDDEN_TIMEOUT=0

GRUB_HIDDEN_TIMEOUT_QUIET=true