Từ 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.
Vì vậy, biến HISTFILEsẽ chứa tên tệp nơi lịch sử sẽ được lưu.
$ echo "$HISTFILE"
/home/user/.bash_history
Bây giờ bạn có thể tìm kiếm mẫu:
$ grep "vim" "$HISTFILE"
vim foo.text
vim bar.text
vim file.txt
Như @Dennis đã chỉ ra, nếu bạn muốn, bạn có thể chạy history -ađể nối thêm lịch sử lệnh của phiên đang chạy vào $HISTFILEtệp. Về cơ bản, các lệnh sẽ được tự động nối thêm khi bạn đóng một phiên, history -asẽ thực hiện điều tương tự ngay lúc đó.
Chạy help historyđể có thêm ý tưởng về bản historydựng.