diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-11-12 17:25:25 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-11-12 17:25:25 +0100 |
commit | 14304e0827cd7de7fc55b1ba587ccdd380525b94 (patch) | |
tree | f70c126b91e68b66d7005cfea53b88a82aa0c7fa /debpkg/prerm | |
parent | d279e229635f19852dc829552aa7c7d72d7a4dd2 (diff) |
New upstream release
Diffstat (limited to 'debpkg/prerm')
-rwxr-xr-x | debpkg/prerm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/debpkg/prerm b/debpkg/prerm new file mode 100755 index 0000000..e66d2d9 --- /dev/null +++ b/debpkg/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 |