grub2/0213-Rename-00_menu_auto_hide.in-to-01_menu_auto_hide.in.patch
Javier Martinez Canillas 1f092caba7
Drop two efinet patches that were causing issues and a bunch of other fixes
Add comments and revert logic changes in 01_fallback_counting
Remove quotes when reading ID value from /etc/os-release
  Related: rhbz#1650706
blscfg: expand grub_users before passing to grub_normal_add_menu_entry()
  Resolves: rhbz#1650706
Drop buggy downstream patch "efinet: retransmit if our device is busy"
  Resolves: rhbz#1649048
Make the menu entry users option argument to be optional
  Related: rhbz#1652434
10_linux_bls: add missing menu entries options
  Resolves: rhbz#1652434
Drop "Be more aggro about actually using the *configured* network device."
  Resolves: rhbz#1654388
Fix menu entry selection based on title
  Resolves: rhbz#1654936

Signed-off-by: Javier Martinez Canillas <javierm@redhat.com>
2018-12-01 03:28:36 +01:00

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 97cd8bdebd9..cba4d500198 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