From a47a3085d570b89d50ceaa4d22e412e59385e54b Mon Sep 17 00:00:00 2001 From: Xavier Petit <32063953+xpetit@users.noreply.github.com> Date: Tue, 27 Aug 2019 14:49:00 +0100 Subject: [PATCH] Do not reinstall Grub, Ubuntu installer already does --- scripts/grub.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/scripts/grub.sh b/scripts/grub.sh index ad767811..502f8e43 100755 --- a/scripts/grub.sh +++ b/scripts/grub.sh @@ -8,8 +8,6 @@ cd $SCRIPT_DIR DISK=$1 -apt-get -y install grub-efi-amd64 - sed -i -e 's/message=/message_null=/g' /etc/grub.d/10_linux cat <> /etc/default/grub