От 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
встроенном.