Rev 88 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2 | magnus | 1 | #! /bin/sh |
2 | # postrm script for #PACKAGE# |
||
3 | # |
||
4 | # see: dh_installdeb(1) |
||
5 | |||
6 | set -e |
||
7 | |||
88 | holmgren | 8 | PIKE=7.8 |
9 | PIKEBIN=pike${PIKE} |
||
10 | |||
2 | magnus | 11 | # summary of how this script can be called: |
12 | # * <postrm> `remove' |
||
13 | # * <postrm> `purge' |
||
14 | # * <old-postrm> `upgrade' <new-version> |
||
15 | # * <new-postrm> `failed-upgrade' <old-version> |
||
16 | # * <new-postrm> `abort-install' |
||
17 | # * <new-postrm> `abort-install' <old-version> |
||
18 | # * <new-postrm> `abort-upgrade' <old-version> |
||
19 | # * <disappearer's-postrm> `disappear' <r>overwrit>r> <new-version> |
||
20 | # for details, see http://www.debian.org/doc/debian-policy/ or |
||
21 | # the debian-policy package |
||
88 | holmgren | 22 | LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include lib/pike${PIKE}" |
2 | magnus | 23 | |
24 | case "$1" in |
||
25 | purge) |
||
88 | holmgren | 26 | for d in $LOCAL_DIRS; do |
2 | magnus | 27 | rmdir /usr/local/$d || true |
28 | done |
||
29 | ;; |
||
30 | |||
31 | remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) |
||
32 | ;; |
||
33 | |||
34 | *) |
||
35 | echo "postrm called with unknown argument \`$1'" >&2 |
||
36 | exit 1 |
||
37 | |||
38 | esac |
||
39 | |||
40 | # dh_installdeb will replace this with shell code automatically |
||
41 | # generated by other debhelper scripts. |
||
42 | |||
43 | #DEBHELPER# |
||
44 | |||
45 | exit 0 |