#!/bin/bash
pushd "${BASH_SOURCE%/*}" > /dev/null;

EFI_BOOT_DIR="${EFI_BOOT_DIR:-"/boot"}";
BOOTLOADER_ID=${BOOTLOADER_ID:-"GRUB"};
pacman -Syu grub efibootmgr;
. ../../Common/GRUB/init.sh;

popd > /dev/null;