debian/postrm
branchdebian
changeset 116 d99f3169828a
parent 97 7953788881a4
child 224 caf9cb61f856
equal deleted inserted replaced
115:731a72b742db 116:d99f3169828a
    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