Removing articles from the history file

[Lars Magne Ingebrigtsen]

Russ Allbery <rra at stanford.edu> writes:

> Once you have that list, stop the server, and then filter all those lines
> out of the history file.  Replace the old history file with the new one
> and then use makedbz -o to regenerate the database indexes.  Then restart
> the server.

Thanks; that should be doable...

> Since the history file is textual and append-only from innd's perspecive,
> there isn't a good way of removing entries from it without rewriting the
> entire file (which is what nightly expire does).

I was looking through the source files in the expire directory just
now, and I happened upon something called "prunehistory".  It claims
to be able to edit the history file in-place by filling in spaces in
the file...  Is that program outdated, or does it do something else
than I think it does?  :-)

-- 
(domestic pets only, the antidote for overdose, milk.)
   larsi at gnus.org * Lars Magne Ingebrigtsen