cantera/tools/bin/erase
2005-01-24 15:06:36 +00:00

9 lines
138 B
Bash
Executable file

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