Re: Finer control over what gets written to the history file

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Thu, 17 Oct 2013 07:20:22 -0700
Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> OK, here's a final patch including doc.  Nobody commented on the memory
> management question and a push/pop heap is harmless if the heap is never
> used, so ...

I didn't investigate, but putting it around a significant chunk of I/O
activity like this seems pretty uncontroversial.

pws