what if buffindexed drive dies?
smurf at noris.de
Thu Sep 9 14:13:21 UTC 1999
> > What about with buffindexed? I lose a drive, replace it and...run
> > makehistory all over again? *raised eyebrow*
> No, but you'll need to clean out the groups file and run makeindex. :-(
Stupid me, there _is_ no more makeindex. I meant of course makehistory -O.
Matthias Urlichs | noris network GmbH | smurf at noris.de | ICQ: 20193661
The quote was selected randomly. Really. | http://www.noris.de/~smurf/
I want you to organize my PASTRY trays ... my TEA-TINS are gleaming in
formation like a ROW of DRUM MAJORETTES -- please don't be FURIOUS with
-- Zippy the Pinhead
More information about the inn-workers