Re: HISTFILE=/dev/null, HISTSIZE=0 removes /dev/null on exit

From	Chet Ramey <chet.ramey@case.edu>
Newsgroups	gnu.bash.bug
Subject	Re: HISTFILE=/dev/null, HISTSIZE=0 removes /dev/null on exit
Date	2015-10-20 14:57 -0400
Message-ID	<mailman.702.1445367469.7904.bug-bash@gnu.org> (permalink)
References	<06C8BC12-AD9F-48B6-9A34-A4338D00951D@gmail.com> <56268B17.4070103@case.edu> <CAP=cN8=fbEZwHyTeY7KrHHMr_z2Zdq8+KdkrrNybfrUSzh=S9Q@mail.gmail.com>

Show all headers | View raw

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    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: HISTFILE=/dev/null, HISTSIZE=0 removes /dev/null on exit Chet Ramey <chet.ramey@case.edu> - 2015-10-20 14:57 -0400

csiph-web