#!/bin/sh
set -e

case "$1" in
    configure)
        # Be careful to avoid bugs like https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851893
        if [ -e /boot/grub/grub.cfg ] && command -v update-grub2 > /dev/null; then
            update-grub2 || echo "Updating grub failed, report success anyway"
        fi
        ;;
    
    abort-upgrade|abort-remove|abort-deconfigure)
        ;;

    *)
        echo "postinst called with unknown argument \`$1'" >&2
        exit 1
        ;;
esac

#DEBHELPER#

exit 0
