equal
deleted
inserted
replaced
18 # for details, see http://www.debian.org/doc/debian-policy/ or |
18 # for details, see http://www.debian.org/doc/debian-policy/ or |
19 # the debian-policy package |
19 # the debian-policy package |
20 |
20 |
21 |
21 |
22 case "$1" in |
22 case "$1" in |
23 purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) |
23 purge) |
|
24 deluser --quiet --system hg > /dev/null || true |
|
25 delgroup --quiet --system hg > /dev/null || true |
|
26 ;; |
|
27 |
|
28 remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) |
24 ;; |
29 ;; |
25 |
30 |
26 *) |
31 *) |
27 echo "postrm called with unknown argument \`$1'" >&2 |
32 echo "postrm called with unknown argument \`$1'" >&2 |
28 exit 1 |
33 exit 1 |