From 857d38d37c76f3ee4cfd49b3e55c921c27c1ad0c Mon Sep 17 00:00:00 2001 From: Christopher Spinrath <christopher.spinrath@rwth-aachen.de> Date: Thu, 10 Sep 2015 15:00:19 +0200 Subject: [PATCH] grub: clean up early config file --- contrib/image/grub_early.cfg | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/contrib/image/grub_early.cfg b/contrib/image/grub_early.cfg index dd79458..ce23dfe 100644 --- a/contrib/image/grub_early.cfg +++ b/contrib/image/grub_early.cfg @@ -1,9 +1,12 @@ if [ -z "$prefix" -o ! -e "$prefix" ]; then if ! search --file --set=root /.disk/info; then search --file --set=root /.disk/mini-info + fi + echo "yepp I am here!" set prefix=($root)/grub +fi if [ -e $prefix/x86_64-efi/grub.cfg ]; then - source $prefix/x86_64-efi/grub.cfg + configfile $prefix/x86_64-efi/grub.cfg else - source $prefix/grub.cfg -/boot/grub + configfile $prefix/grub.cfg +fi -- GitLab