On 10/20/15 2:53 PM, Piotr Grzybowski wrote:
> hey,
>
> just out of curiosity, does this fix it (sorry I just finished when
> you wrote that it had been fixed):
Well, it does, but it's overkill on one hand and doesn't fix the underlying
problem on the other. What you want to avoid is truncating the history
file (HISTSIZE=0) or writing to a temp file and renaming it over a
non-regular file (/dev/null). Those changes are made in the history
library.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
