research/cantera
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

script to remove a file from the repository

Browse source
This commit is contained in:
Dave Goodwin 2004-08-28 16:13:30 +00:00
parent ab8f620ccb
commit 145617a15d
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
tools/bin/erase Executable file
View file

@ -0,0 +1,9 @@
#!/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