blob: a67eddb8a531311c236db6ae18840df550fd9911 (
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 ] && which update-grub >/dev/null 2>&1; then
update-grub || true
fi
#DEBHELPER#
|