diff options
Diffstat (limited to 'straper/db/public/boot/grub.d/25_bli')
| -rwxr-xr-x | straper/db/public/boot/grub.d/25_bli | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/straper/db/public/boot/grub.d/25_bli b/straper/db/public/boot/grub.d/25_bli deleted file mode 100755 index 26e27a0..0000000 --- a/straper/db/public/boot/grub.d/25_bli +++ /dev/null @@ -1,24 +0,0 @@ -#! /bin/sh -set -e - -# grub-mkconfig helper script. -# Copyright (C) 2023 Free Software Foundation, Inc. -# -# 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/>. - -cat << EOF -if [ "\$grub_platform" = "efi" ]; then - insmod bli -fi -EOF |