grub2/debian/update-grub
Colin Watson 9e6dbc107f Use 'set -e' rather than '#! /bin/sh -e' or '#! /bin/bash -e', to avoid
accidents when debugging with 'sh -x'.
2010-06-30 13:40:29 +01:00

4 lines
64 B
Bash

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