@@ -78,18 +78,6 @@ true "
7878#####################################################################
7979"
8080
81- # # https://phabricator.whonix.org/T377
82- # # Debian has no update-grub trigger yet:
83- # # https://bugs.debian.org/481542
84- if command -v update-grub > /dev/null 2>&1 ; then
85- update-grub || \
86- echo " $DPKG_MAINTSCRIPT_PACKAGE $DPKG_MAINTSCRIPT_NAME ERROR: Running \
87- 'update-grub' failed with exit code $? . $DPKG_MAINTSCRIPT_PACKAGE is most \
88- likely only the trigger, not the cause. Unless you know this is not an issue, \
89- you should fix running 'update-grub', otherwise your system might no longer \
90- boot." >&2
91- fi
92-
9381case " $1 " in
9482 configure)
9583 true " INFO: Configuring $DPKG_MAINTSCRIPT_PACKAGE ..."
@@ -118,6 +106,18 @@ if [ -d /run/systemd/system ]; then
118106 systemctl --system daemon-reload > /dev/null || true
119107fi
120108
109+ # # https://phabricator.whonix.org/T377
110+ # # Debian has no update-grub trigger yet:
111+ # # https://bugs.debian.org/481542
112+ if command -v update-grub > /dev/null 2>&1 ; then
113+ update-grub || \
114+ echo " $DPKG_MAINTSCRIPT_PACKAGE $DPKG_MAINTSCRIPT_NAME ERROR: Running \
115+ 'update-grub' failed with exit code $? . $DPKG_MAINTSCRIPT_PACKAGE is most \
116+ likely only the trigger, not the cause. Unless you know this is not an issue, \
117+ you should fix running 'update-grub', otherwise your system might no longer \
118+ boot." >&2
119+ fi
120+
121121true " INFO: debhelper beginning here."
122122
123123# DEBHELPER#
0 commit comments