[[[index/guide/DisableInteractiveGRUB|:How to disable all interactive editing control for GRUB menu?