From d73f3c7a4bad825f754907fc24e8a44222035c47 Mon Sep 17 00:00:00 2001 From: Rmys Date: Wed, 21 Jul 2021 14:19:25 +0300 Subject: [PATCH] grub2 rebuild --- system/boot/grub2/actions.py | 1 + system/boot/grub2/files/grub-defaults | 2 +- system/boot/grub2/files/update-grub | 1 - 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/system/boot/grub2/actions.py b/system/boot/grub2/actions.py index ddc47488..0c2c50b5 100644 --- a/system/boot/grub2/actions.py +++ b/system/boot/grub2/actions.py @@ -20,6 +20,7 @@ def setup(): pisitools.cflags.remove("-fstack-protector", "-fasynchronous-unwind-tables", "-fexceptions", "-fPIC") pisitools.cflags.sub("\s?(-O[\ds]|-D_FORTIFY_SOURCE=\d)\s?", " ") + pisitools.dosed('util/grub-mkconfig.in', 'GRUB_DISABLE_OS_PROBER="true"', 'GRUB_DISABLE_OS_PROBER="false"') #shelltools.system("./linguas.sh") #shelltools.system("./autogen.sh") autotools.configure("--disable-werror \ diff --git a/system/boot/grub2/files/grub-defaults b/system/boot/grub2/files/grub-defaults index edba5c34..b5bf3846 100644 --- a/system/boot/grub2/files/grub-defaults +++ b/system/boot/grub2/files/grub-defaults @@ -52,4 +52,4 @@ GRUB_THEME="/usr/share/grub/themes/pisilinux/theme.txt" #GRUB_SAVEDEFAULT="true" -GRUB_DISABLE_OS_PROBER="false" +#GRUB_DISABLE_OS_PROBER="false" diff --git a/system/boot/grub2/files/update-grub b/system/boot/grub2/files/update-grub index da5b326e..59608761 100644 --- a/system/boot/grub2/files/update-grub +++ b/system/boot/grub2/files/update-grub @@ -1,3 +1,2 @@ #! /bin/sh -LC_ALL=C grub2-mkconfig -o /boot/grub2/grub.cfg