Merge commit 'dkg/master'
[monkeysphere.git] / packaging / debian / monkeysphere.postrm
1 #!/bin/sh -e
2
3 # postrm script for monkeysphere
4
5 # Author: Jameson Rollins <jrollins@fifthhorseman.net>
6 # Copyright 2008
7
8 case $1 in
9     purge)
10         rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true
11         echo "removing monkeysphere user..."
12         userdel monkeysphere > /dev/null || true
13         ;;
14 esac
15
16 # dh_installdeb will replace this with shell code automatically
17 # generated by other debhelper scripts.
18
19 #DEBHELPER#
20
21 exit 0