#!/bin/bash

source /usr/share/defaults/etc/profile

set -e
exec grub-mkconfig -o /boot/grub/grub.cfg "$@"
