# File: purge
if [ $# -ne 1 ]; then
echo "Usage: $0 filename"
exit 1
fi
cp $1 $HOME/deleted
rm $1
