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