Від 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
щоб отримати більше уявлення про сам history
вбудований.