> Actually, what I want is to prevent writing to the history file > at all when bash exits. (Not all the time, just in certain cases > that other logic in .bashrc will be able to detect. Unsetting > HISTFILESIZE unconditionally was a simplified test case.) > > Should I unset HISTFILE, or set it to /dev/null, instead of > trying to mess with HISTFILESIZE?
The "official" way to prevent the history from being written is to unset HISTFILE. Chet -- ``The lyf so short, the craft so long to lerne.'' - Chaucer Chet Ramey, ITS, CWRU c...@case.edu http://tiswww.tis.case.edu/~chet/
