จากman bash:
HISTFILE
The name of the file in which command history is saved.
The default value is ~/.bash_history.
If unset, the command history is not saved when a shell exits.
ดังนั้นตัวแปรHISTFILEจะมีชื่อไฟล์ที่จะบันทึกประวัติ
$ echo "$HISTFILE"
/home/user/.bash_history
ตอนนี้คุณสามารถค้นหารูปแบบ:
$ grep "vim" "$HISTFILE"
vim foo.text
vim bar.text
vim file.txt
ในฐานะที่เป็น @Dennis ได้ชี้ให้เห็นหากคุณต้องการให้คุณสามารถเรียกใช้history -aเพื่อผนวกประวัติคำสั่งของเซสชั่นการทำงานกับ$HISTFILEไฟล์ โดยทั่วไปคำสั่งจะถูกผนวกเข้าโดยอัตโนมัติเมื่อคุณปิดเซสชันhistory -aจะทำสิ่งเดียวกันทันที
เรียกใช้help historyเพื่อรับความคิดเพิ่มเติมเกี่ยวกับhistorybuiltin เอง