Change the default bootloader ID

This commit is contained in:
Manuel Thalmann 2023-05-07 01:20:03 +02:00
parent 897196e42b
commit ac2eb53194

View file

@ -7,7 +7,7 @@ then
sudo bash "$BASH_SOURCE" "$USER";
else
EFI_BOOT_DIR="${EFI_BOOT_DIR:-"/boot"}";
BOOTLOADER_ID=${BOOTLOADER_ID:-"GRUB"};
BOOTLOADER_ID=${BOOTLOADER_ID:-"Arch"};
pacman --noconfirm -Syu grub efibootmgr;
. ../../../Common/Config/GRUB/setup.sh;
fi;