15a2072
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
15a2072
From: Christian Glombek <lorbus@fedoraproject.org>
15a2072
Date: Tue, 31 Jul 2018 11:11:01 +0200
dbfd2e6
Subject: [PATCH] Rename 00_menu_auto_hide.in to 01_menu_auto_hide.in
15a2072
dbfd2e6
This is necessary to accommodate the fallback counting script which
dbfd2e6
needs to run before this one because the menu auto hide script sets
dbfd2e6
boot_success = 0, which will be used by the boot counting script
15a2072
---
15a2072
 Makefile.util.def                                          | 4 ++--
15a2072
 util/grub.d/{00_menu_auto_hide.in => 01_menu_auto_hide.in} | 0
15a2072
 2 files changed, 2 insertions(+), 2 deletions(-)
15a2072
 rename util/grub.d/{00_menu_auto_hide.in => 01_menu_auto_hide.in} (100%)
15a2072
15a2072
diff --git a/Makefile.util.def b/Makefile.util.def
15a2072
index 97cd8bdebd9..cba4d500198 100644
15a2072
--- a/Makefile.util.def
15a2072
+++ b/Makefile.util.def
15a2072
@@ -449,8 +449,8 @@ script = {
15a2072
 };
15a2072
 
15a2072
 script = {
15a2072
-  name = '00_menu_auto_hide';
15a2072
-  common = util/grub.d/00_menu_auto_hide.in;
15a2072
+  name = '01_menu_auto_hide';
15a2072
+  common = util/grub.d/01_menu_auto_hide.in;
15a2072
   installdir = grubconf;
15a2072
 };
15a2072
 
15a2072
diff --git a/util/grub.d/00_menu_auto_hide.in b/util/grub.d/01_menu_auto_hide.in
15a2072
similarity index 100%
15a2072
rename from util/grub.d/00_menu_auto_hide.in
15a2072
rename to util/grub.d/01_menu_auto_hide.in