| 5,6 → 5,9 |
|---|
| |
| set -e |
| |
| PIKE=7.8 |
| PIKEBIN=pike${PIKE} |
| |
| # summary of how this script can be called: |
| # * <postrm> `remove' |
| # * <postrm> `purge' |
| 16,12 → 19,11 |
|---|
| # * <disappearer's-postrm> `disappear' <r>overwrit>r> <new-version> |
| # for details, see http://www.debian.org/doc/debian-policy/ or |
| # the debian-policy package |
| LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include lib/pike${PIKE}" |
| |
| |
| case "$1" in |
| purge) |
| for d in include/pike include/pike7.8 lib/pike/site_pike lib/pike lib/pike7.8/site_pike lib/pike7.8 share/pike/site_pike \ |
| share/pike share/pike7.8/site_pike share/pike7.8; do |
| for d in $LOCAL_DIRS; do |
| rmdir /usr/local/$d || true |
| done |
| ;; |