From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001 From: Christian Glombek 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