Oops, wrong patch (earlier, broken version). Correct one attached.
diff -ur molly-guard-0.6.1/debian/molly-guard.postrm clean/debian/molly-guard.postrm
--- clean/debian/molly-guard.postrm 2015-08-29 18:37:14.000000000 +0100
+++ molly-guard-0.6.1/debian/molly-guard.postrm 2015-08-31 12:05:30.170992359 +0100
@@ -19,7 +19,7 @@
case "$1" in
remove)
- for cmd in halt poweroff reboot shutdown ; do
+ for cmd in halt poweroff reboot shutdown coldreboot ; do
dpkg-divert --package molly-guard --rename --remove /sbin/$cmd
done
rmdir --ignore-fail-on-non-empty /lib/molly-guard
diff -ur molly-guard-0.6.1/debian/molly-guard.preinst clean/debian/molly-guard.preinst
+++ molly-guard-0.6.1/debian/molly-guard.preinst 2015-08-31 12:05:44.623418607 +0100
--- clean/debian/molly-guard.preinst 2015-08-29 18:37:14.000000000 +0100
@@ -15,7 +15,7 @@
case "$1" in
install|upgrade)
mkdir -p /lib/molly-guard
- for cmd in halt poweroff reboot shutdown ; do
+ for cmd in halt poweroff reboot shutdown coldreboot ; do
dpkg-divert --package molly-guard --divert /lib/molly-guard/$cmd --rename /sbin/$cmd
done
;;
