On 1/22/26 3:09 PM, Martin F. wrote:
Hope it helps
Thanks for the report. The history(3) man page describes the history
library, which bash and dozens of other applications link with. The
history library's default history file is
:~$ man history
...
"FILES
~/.history
Default filename for reading and writing saved history"
so the history man page is correct.
Bash sets it to .bash_history by default and allows the user to set it
using HISTFILE. Other applications use different filenames (e.g., gdb
uses ./.gdb_history and $GDBHISTFILE).
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
