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 HISTFILE
sẽ 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 $HISTFILE
tệ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 -a
sẽ thực hiện điều tương tự ngay lúc đó.
Chạy help history
để có thêm ý tưởng về bản history
dựng.