diff -Nru grub2-2.02~beta2/debian/changelog grub2-2.02~beta2/debian/changelog --- grub2-2.02~beta2/debian/changelog 2014-09-26 18:05:19.000000000 +0100 +++ grub2-2.02~beta2/debian/changelog 2014-10-01 15:56:21.000000000 +0100 @@ -1,3 +1,9 @@ +grub2 (2.02~beta2-14triggers1) utopic; urgency=medium + + * Add an update-grub apt trigger. + + -- Andy Whitcroft Wed, 01 Oct 2014 15:49:35 +0100 + grub2 (2.02~beta2-14) unstable; urgency=medium * On architectures without a real GRUB port, just build the utilities. diff -Nru grub2-2.02~beta2/debian/grub-common.postinst grub2-2.02~beta2/debian/grub-common.postinst --- grub2-2.02~beta2/debian/grub-common.postinst 1970-01-01 01:00:00.000000000 +0100 +++ grub2-2.02~beta2/debian/grub-common.postinst 2014-10-01 15:56:07.000000000 +0100 @@ -0,0 +1,13 @@ +#! /bin/sh +set -e + +case "$1" in +triggered) + # force it to actually happen + DPKG_MAINTSCRIPT_PACKAGE='' update-grub -u + ;; +esac + +#DEBHELPER# + +exit 0 diff -Nru grub2-2.02~beta2/debian/grub-common.triggers grub2-2.02~beta2/debian/grub-common.triggers --- grub2-2.02~beta2/debian/grub-common.triggers 1970-01-01 01:00:00.000000000 +0100 +++ grub2-2.02~beta2/debian/grub-common.triggers 2014-10-01 15:54:24.000000000 +0100 @@ -0,0 +1 @@ +interest update-grub diff -Nru grub2-2.02~beta2/debian/update-grub grub2-2.02~beta2/debian/update-grub --- grub2-2.02~beta2/debian/update-grub 2014-09-26 14:08:50.000000000 +0100 +++ grub2-2.02~beta2/debian/update-grub 2014-10-01 15:51:05.000000000 +0100 @@ -1,3 +1,17 @@ #!/bin/sh set -e + +USETRIGGERS=true + +if $USETRIGGERS \ + && ["$DPKG_MAINTSCRIPT_PACKAGE" != "" ] \ + && [ $# = 0 ] \ + && dpkg-trigger --check-supported 2>/dev/null +then + if dpkg-trigger --no-await update-grub; then + echo "update-grub: deferring update (trigger activated)" + exit 0 + fi +fi + exec grub-mkconfig -o /boot/grub/grub.cfg "$@"