Rename GRUB setup script

This commit is contained in:
Manuel Thalmann 2023-04-01 15:15:15 +02:00
parent 51a2ff6d52
commit 9be6da454a
2 changed files with 1 additions and 1 deletions

View file

@ -4,6 +4,6 @@ pushd "${BASH_SOURCE%/*}" > /dev/null;
EFI_BOOT_DIR="${EFI_BOOT_DIR:-"/boot"}"; EFI_BOOT_DIR="${EFI_BOOT_DIR:-"/boot"}";
BOOTLOADER_ID=${BOOTLOADER_ID:-"GRUB"}; BOOTLOADER_ID=${BOOTLOADER_ID:-"GRUB"};
pacman --noconfirm -Syu grub efibootmgr; pacman --noconfirm -Syu grub efibootmgr;
. ../../Common/GRUB/init.sh; . ../../Common/GRUB/setup.sh;
popd > /dev/null; popd > /dev/null;