ubuntu 修改开机等待 grub时间

https://blog.csdn.net/cca306/article/details/46501145

https://www.cnblogs.com/re1n/p/6009946.html
在(/etc/default/grub)：中 修改 timeout

如果这个时间是0，在统一设置中，还会被 /etc/grub.d/30_os-prober 调整，
里面有个 if timeout==0 的选项，会将其置为 10.。
配置文件中蓝色加粗部分修改是为了实现改变grub菜单的默认等待时间。

红色加粗部分的修改是为了开机显示详细信息。

修改等待时间，将GRUB_TIMEOUT改成你想要的时间，单位是秒。一定要注意注释掉GRUB_HIDDEN_TIMEOUT，不然修改不起作用。
改完还

要 sudo update-grub