
see ~nuprl/nuprl5/Readme to tar DB


after gc, tar old dir, then rm

Using /usr/local/gnu/bin/tar

tar zcvf ../db-archive/old.tgz.<i> old

rm -r old/
