Compatibility with Debian's update-grub
Hello, it appears that Debian's update-grub script is more featureful than the one included in this repo:
#!/bin/sh
set -e
exec grub-mkconfig -o /boot/grub/grub.cfg "$@"
versus
#! /bin/sh
grub-mkconfig -o /boot/grub/grub.cfg
In particular, it allows passing arguments to grub-mkconfig
while the one in this repo does not. (It also uses exec
which is technically better as it does not spawn a separate process.)
I recommend we adopt the Debian version verbatim.