From f60621c7d23dbb8dddeb5c7e24c1909b83ec212f Mon Sep 17 00:00:00 2001
From: Lars Frost <larsf@fsmpi.rwth-aachen.de>
Date: Fri, 7 Oct 2022 09:55:41 +0200
Subject: [PATCH] Make boot the default grub entry again
---
grub-cfg/grub.cfg | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grub-cfg/grub.cfg b/grub-cfg/grub.cfg
index 2a9967d..025b8df 100644
--- a/grub-cfg/grub.cfg
+++ b/grub-cfg/grub.cfg
@@ -280,7 +280,7 @@ function boot_menu {
show_timezones
show_keymaps
show_languages
- default=3
+ default=4
}
function boot_defaults {
--
GitLab