diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-04-29 15:51:51 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-04-29 15:51:51 +0200 |
commit | e632e6d4d31c411953a5331b8b35a2285b1cccb9 (patch) | |
tree | becb05a8ec8f198d9490857995d8246f7003ffa7 /debian/prerm | |
parent | 2945f6199eb2652bd8092367ae456dc0e49fb76d (diff) |
restore debian/*
Diffstat (limited to 'debian/prerm')
-rwxr-xr-x | debian/prerm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm new file mode 100755 index 0000000..e66d2d9 --- /dev/null +++ b/debian/prerm @@ -0,0 +1,26 @@ +#!/bin/sh +# Debian prerm script +# +set -e + +case "$1" in + purge) + if [ -d /var/lib/ipmiutil/ ] + then + rm -Rf /var/lib/ipmiutil/ + fi + ;; + remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) + ;; + *) + echo "postrm called with unknown argument \`$1'" >&2 + exit 1 + ;; +esac + +# dh_installdeb will replace this with shell code automatically +# generated by other debhelper scripts. + +#DEBHELPER# + +exit 0 |