Added "addhomedir", a utility to create home directories for new users.
[public/pyceo-broken.git] / debian / postrm
1 #!/bin/bash -e
2
3 case "$1" in
4     purge)
5
6         if dpkg-statoverride --list /usr/bin/ceo > /dev/null; then
7             dpkg-statoverride --remove /usr/bin/ceo || true
8         fi
9
10         if dpkg-statoverride --list /usr/bin/addhomedir > /dev/null; then
11             dpkg-statoverride --remove /usr/bin/addhomedir || true
12         fi
13
14         if dpkg-statoverride --list /etc/csc/ldap.cf > /dev/null; then
15             dpkg-statoverride --remove /etc/csc/ldap.cf || true
16         fi
17         
18         if dpkg-statoverride --list /etc/csc/ceo.keytab > /dev/null; then
19             dpkg-statoverride --remove /etc/csc/ceo.keytab || true
20         fi
21
22         rmdir --ignore-fail-on-non-empty /etc/csc
23             
24     ;;
25     
26     remove|failed-upgrade|upgrade)
27     ;;
28     
29     *)
30         echo "postrm called with invalid argument \"$1\"" >&2
31         exit 1
32     ;;
33 esac
34
35 #DEBHELPER#
36
37 exit 0