[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] system: grub: Change the default default-entry to 0
From: |
mhw |
Subject: |
[PATCH] system: grub: Change the default default-entry to 0 |
Date: |
Tue, 12 Aug 2014 23:39:20 -0400 |
Currently, the default entry in the grub menu of the standalone guix
system is the "old configurations" submenu. This patch makes the
current system the default entry.
Mark
>From dde9969dcca4d33a2094af3c8909d017378b3e8e Mon Sep 17 00:00:00 2001
From: Mark H Weaver <address@hidden>
Date: Fri, 8 Aug 2014 00:50:53 -0400
Subject: [PATCH] system: grub: Change the default default-entry to 0.
* gnu/system/grub.scm (<grub-configuration>)[default-entry]: Change the
default to 0.
---
gnu/system/grub.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 85a9fca..41f45f1 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -49,7 +49,7 @@
(menu-entries grub-configuration-menu-entries ; list
(default '()))
(default-entry grub-configuration-default-entry ; integer
- (default 1))
+ (default 0))
(timeout grub-configuration-timeout ; integer
(default 5)))
--
1.8.4
- [PATCH] system: grub: Change the default default-entry to 0,
mhw <=