#!/bin/sh
set -e
grub-mkconfig -o /boot/grub/grub.cfg "$@"
if [ -d /boot/efi/EFI ];then
   cp -f /boot/grub/grub.cfg /boot/efi/EFI/BOOT/
fi
if [ -d /boot/efi/BOOT ];then
   [ -d /boot/efi/BOOT/EFI ] || mkdir /boot/efi/BOOT/EFI
   cp -f /boot/grub/grub.cfg /boot/efi/BOOT/EFI/
fi
