summaryrefslogtreecommitdiff
path: root/config/grub/config
AgeCommit message (Collapse)Author
2023-10-02grub.cfg: disable the pagerLeah Rowe
The pager causes trouble in some cases, where the user has to press enter at boot time depending on the configuration. Interactive use is one thing, but we should leave this disabled for smoother experience. If the user *wishes* to use the shell, they can always just enable the pager themselves by doing: set pager=1 Signed-off-by: Leah Rowe <leah@libreboot.org>
2023-09-25Update email address for Leah Rowe copyrightsLeah Rowe
also, some of them were out of date; years now updated. Signed-off-by: Leah Rowe <leah@libreboot.org>
2023-09-09set grub.cfg timeout to 5s (10 on some boards)Leah Rowe
target.cfg can now specify e.g. grub_timeout=20 this would then be inserted as timeout.cfg in cbfs, containing the instruction: set timeout=20 HP laptops need a bit of extra time, due to the delay caused by the EC bug workaround deployed in GRUB desktops in general need extra time. this too is set to 10s, like the HP laptops. only insert timeout.cfg if actually needed (declared in target.cfg), otherwise grub.cfg will default to 5s Signed-off-by: Leah Rowe <leah@libreboot.org>
2023-09-04merge config/ and resources/Leah Rowe
Signed-off-by: Leah Rowe <leah@libreboot.org>