#
# 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