Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

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



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



Messages sorted by: Reverse Date, Date, Thread, Author