Skip to content
Snippets Groups Projects
Commit 857d38d3 authored by Christopher Spinrath's avatar Christopher Spinrath
Browse files

grub: clean up early config file

parent cf3b49fa
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
contrib/image/grub_early.cfg
+ 6
− 3
View file @ 857d38d3
if [ -z "$prefix" -o ! -e "$prefix" ]; then if [ -z "$prefix" -o ! -e "$prefix" ]; then
if ! search --file --set=root /.disk/info; then if ! search --file --set=root /.disk/info; then
search --file --set=root /.disk/mini-info search --file --set=root /.disk/mini-info
fi
echo "yepp I am here!"
set prefix=($root)/grub set prefix=($root)/grub
fi
if [ -e $prefix/x86_64-efi/grub.cfg ]; then if [ -e $prefix/x86_64-efi/grub.cfg ]; then
source $prefix/x86_64-efi/grub.cfg configfile $prefix/x86_64-efi/grub.cfg
else else
source $prefix/grub.cfg configfile $prefix/grub.cfg
/boot/grub fi
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment