debian/postrm
branchdebian
changeset 261 b6e65bddda7c
parent 224 caf9cb61f856
child 314 c02eae7665af
equal deleted inserted replaced
259:bbf25d56d486 261:b6e65bddda7c
    19 case "$1" in
    19 case "$1" in
    20     purge)
    20     purge)
    21         if remove_repositories_on_purge; then
    21         if remove_repositories_on_purge; then
    22             echo -n "Removing hg user and purging data..."
    22             echo -n "Removing hg user and purging data..."
    23             deluser --remove-home --quiet --system hg > /dev/null || true
    23             deluser --remove-home --quiet --system hg > /dev/null || true
    24         else
    24             delgroup --quiet --system hg > /dev/null || true
    25             echo -n "Removing hg user..."
    25             echo done
    26             deluser --quiet --system hg > /dev/null || true
       
    27         fi
    26         fi
    28         delgroup --quiet --system hg > /dev/null || true
       
    29         echo done
       
    30     ;;
    27     ;;
    31 
    28 
    32     remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
    29     remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
    33     ;;
    30     ;;
    34 
    31