#!/bin/sh
if test $# = 0; then
echo 'usage: erase <file>'
fi
file=$1
erased_dir=$HOME/erased
mv -f $file erased_dir
cvs remove $file