blob: e2fd036ec013ec0730f15368ce26ec2d41193750 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/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#
|
