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