#!/usr/bin/env sh
echo "grub-mkconfig..." >&2
exec grub-mkconfig -o /boot/grub/grub.cfg