diff --git a/grub/grub2/debian/deb_patches/0001-Provide-softlinks-to-grub-menus.patch b/grub/grub2/debian/deb_patches/0001-Provide-softlinks-to-grub-menus.patch new file mode 100644 index 000000000..424ca6934 --- /dev/null +++ b/grub/grub2/debian/deb_patches/0001-Provide-softlinks-to-grub-menus.patch @@ -0,0 +1,26 @@ +From a781e6bfe6af44d3bc159c01c9f8df684c782185 Mon Sep 17 00:00:00 2001 +From: Jim Somerville +Date: Mon, 11 Apr 2022 22:02:21 +0000 +Subject: [PATCH] Provide softlinks to grub menus + +Allows tools such as grubby to locate them. + +Signed-off-by: Jim Somerville +--- + debian/grub2-common.links | 3 +++ + 1 file changed, 3 insertions(+) + +diff --git a/debian/grub2-common.links b/debian/grub2-common.links +index a082aa2..01d4ba8 100644 +--- a/debian/grub2-common.links ++++ b/debian/grub2-common.links +@@ -4,3 +4,6 @@ usr/share/man/man8/update-grub.8 usr/share/man/man8/update-grub2.8 + usr/share/bash-completion/completions/grub usr/share/bash-completion/completions/grub-install + usr/share/bash-completion/completions/grub usr/share/bash-completion/completions/grub-reboot + usr/share/bash-completion/completions/grub usr/share/bash-completion/completions/grub-set-default ++ ++boot/efi/EFI/BOOT/grub.cfg etc/grub2-efi.cfg ++boot/grub2/grub.cfg etc/grub2.cfg +-- +2.30.2 + diff --git a/grub/grub2/debian/deb_patches/series b/grub/grub2/debian/deb_patches/series new file mode 100644 index 000000000..c69976f8c --- /dev/null +++ b/grub/grub2/debian/deb_patches/series @@ -0,0 +1 @@ +0001-Provide-softlinks-to-grub-menus.patch