blob: ac73b4289272a99afc84b9d5f8443606e061e070 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/sh
set -e
if [ "$1" = "install" -o "$1" = "upgrade" ]; then
dpkg-divert --package grub-legacy-ec2 --rename --divert \
/usr/sbin/grub-set-default.real --add /usr/sbin/grub-set-default
fi
#DEBHELPER#
|