9 if [ ! -z "`grep -e '^gnokii:' /etc/group`" ]
11 echo 'deleting group "gnokii"'
12 /usr/sbin/groupdel gnokii
14 echo 'group "gnokii" already deleted'
18 failed-upgrade|abort-install|abort-upgrade|disappear)
22 echo "postrm called with unknown argument \`$1'" >&2