#!/bin/sh
#
# Author: Petter Reinholdtsen <pere@hungry.com>
# Date:   2002-12-20
#
# Remove home directory for an recently removed user

homedir="$1"

if test -z "$homedir" ; then
    echo "error: missing homedir.  doing nothing."
    exit 1
fi

if test ! -d "$homedir" ; then
    echo "error: $homedir do not exist.  doing nothing."
    exit 1
fi

# Should the directory be renamed instead of removed?
# like 'mv /dir/some/user /dir/some/.user.deleted' ?

rm -rf "$homedir"
