De 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.
Portanto, a variável HISTFILE
conterá o nome do arquivo em que o histórico será salvo.
$ echo "$HISTFILE"
/home/user/.bash_history
Agora você pode procurar o padrão:
$ grep "vim" "$HISTFILE"
vim foo.text
vim bar.text
vim file.txt
Como o @Dennis apontou, se você quiser, pode executar history -a
para acrescentar o histórico de comandos da sessão em execução ao $HISTFILE
arquivo. Basicamente, os comandos serão anexados automaticamente assim que você fechar uma sessão, history -a
fará a mesma coisa naquele instante.
Corra help history
para ter mais idéia do history
próprio builtin.