Em 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 no qual o histórico será salvo.
$ echo "$HISTFILE"
/home/user/.bash_history
Agora você pode pesquisar o padrão:
$ grep "vim" "$HISTFILE"
vim foo.text
vim bar.text
vim file.txt
Como @Dennis apontou, se você quiser, pode executar history -a
para anexar o histórico de comandos da sessão em execução ao arquivo $HISTFILE
. Basicamente, os comandos serão adicionados automaticamente quando você fechar uma sessão, history -a
fará a mesma coisa naquele instante.
Execute help history
para ter mais ideia sobre o history
incorporado.