回答:
から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
。
history -a
。これは、を実行することで修正できます。