#!/bin/sh
set -e
mkdir -p /boot/efi/boot/grub
exec grub-mkconfig --ftefi -o /boot/efi/boot/grub/grub.cfg "$@"
