diff options
Diffstat (limited to '')
-rw-r--r-- | debian/systemd-coredump.prerm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/systemd-coredump.prerm b/debian/systemd-coredump.prerm new file mode 100644 index 0000000..16fbf69 --- /dev/null +++ b/debian/systemd-coredump.prerm @@ -0,0 +1,15 @@ +#!/bin/sh + +set -e + +if [ "$1" = remove ]; then + # disable systemd-coredump on removal + if [ -w /proc/sys/kernel/core_pattern ] && grep -q '^|.*systemd-coredump' /proc/sys/kernel/core_pattern; then + echo core > /proc/sys/kernel/core_pattern + fi + if [ -d /run/systemd/system ]; then + systemctl stop systemd-coredump.socket || true + fi +fi + +#DEBHELPER# |