如果不出现grub选项
可以更改grub设置。
sudo gedit /etc/default/grub修改配置文件。
将 GRUB_TIMEOUT_STYLE=hidden 命令注释掉，并且 GRUB_TIMEOUT=10 命令的值改为10。
如果还有GRUB_HIDDEN_TIMEOUT=0 前面也加#也注释掉
然后
sudo update-grub 更新grub选项
如果没有起作用，可以再尝试一下
找到
# Uncomment to disable graphical terminal (grub-pc-only)
# GRUB_TERMINAL=console
把GRUB_TERMINAL=console的注释去掉，再sudo update-grub 更新grub选项。
