On Thu, Mar 02, 2023 at 07:20:45PM +0100, Oliver Steffen wrote: > Add a new configuration drop-in file that loads the > boot-loader-interface (bli) module and runs the command in case we are > booting on the EFI platform. > > Signed-off-by: Oliver Steffen <ostef...@redhat.com> > --- > util/grub.d/25_boot_loader_interface.in | 34 +++++++++++++++++++++++++ > 1 file changed, 34 insertions(+) > create mode 100644 util/grub.d/25_boot_loader_interface.in > > diff --git a/util/grub.d/25_boot_loader_interface.in > b/util/grub.d/25_boot_loader_interface.in > new file mode 100644 > index 000000000..50daf3a10 > --- /dev/null > +++ b/util/grub.d/25_boot_loader_interface.in > @@ -0,0 +1,34 @@ > +#!/usr/bin/sh > +set -e > + > +# grub-mkconfig helper script. > +# Copyright (C) 2020 Free Software Foundation, Inc.
s/2020/2023/ > +# > +# GRUB is free software: you can redistribute it and/or modify > +# it under the terms of the GNU General Public License as published by > +# the Free Software Foundation, either version 3 of the License, or > +# (at your option) any later version. > +# > +# GRUB is distributed in the hope that it will be useful, > +# but WITHOUT ANY WARRANTY; without even the implied warranty of > +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the > +# GNU General Public License for more details. > +# > +# You should have received a copy of the GNU General Public License > +# along with GRUB. If not, see <http://www.gnu.org/licenses/>. > + > +prefix="/usr" > +exec_prefix="/usr" > +datarootdir="/usr/share" This assumptions can be wrong. Please get relevant values from the configure... Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
