diff options
author | Jameson Graef Rollins <jrollins@finestructure.net> | 2008-11-15 14:43:22 -0500 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2008-11-15 14:43:22 -0500 |
commit | 3726f3dd674e74258c5f47b00f3f6f15f4037175 (patch) | |
tree | 985b776adb9da469c7bb1fc29efdffbf7ee5d661 /packaging/debian/monkeysphere.postrm | |
parent | d6298194a23adc09731b34568455a3598b29bea1 (diff) |
move debian packaging to the packaging/ subdirectory.
Diffstat (limited to 'packaging/debian/monkeysphere.postrm')
-rwxr-xr-x | packaging/debian/monkeysphere.postrm | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/packaging/debian/monkeysphere.postrm b/packaging/debian/monkeysphere.postrm new file mode 100755 index 0000000..8f87ed3 --- /dev/null +++ b/packaging/debian/monkeysphere.postrm @@ -0,0 +1,21 @@ +#!/bin/sh -e + +# postrm script for monkeysphere + +# Author: Jameson Rollins <jrollins@fifthhorseman.net> +# Copyright 2008 + +case $1 in + purge) + rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true + echo "removing monkeysphere user..." + userdel monkeysphere > /dev/null || true + ;; +esac + +# dh_installdeb will replace this with shell code automatically +# generated by other debhelper scripts. + +#DEBHELPER# + +exit 0 |