diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/grub-common.pm-sleep | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/grub-common.pm-sleep b/debian/grub-common.pm-sleep new file mode 100644 index 0000000..eaedb04 --- /dev/null +++ b/debian/grub-common.pm-sleep @@ -0,0 +1,11 @@ +#!/bin/sh + +# Tell grub that resume was successful + +case "$1" in + thaw) + [ -s /boot/grub/grubenv ] || rm -f /boot/grub/grubenv + mkdir -p /boot/grub + grub-editenv /boot/grub/grubenv unset recordfail + ;; +esac |