blob: 3952c8d1bcc8d68340e59107a3ca73248ad13d5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/sh
set -e
# update grub on first install, so that the alternative init system boot
# entries get updated
if [ "$1" = configure ] && [ -z "$2" ] && [ -e /boot/grub/grub.cfg ] && command -v update-grub >/dev/null; then
update-grub || true
fi
#DEBHELPER#
|
