#
# This script removes the HAL user/group.
case "$2" in
pre)
chroot . userdel hal &>/dev/null
[ $? -eq 0 ] && echo "Removed HAL system user/group."
;;
post)
esac