#!/usr/bin/env sh [ -e "$0.disabled" ] && exit 0 which grub-mkconfig >/dev/null 2>&1 || exit 0 exec grub-mkconfig -o /boot/grub/grub.cfg