複数セッションでのhistory共有

Linux Bash

Ctrl+PやCtrl+Rで利用できるBashのコマンド履歴、実体は~/.bash_historyだが標準の動作ではセッション閉じた時に上書きなので、複数のセッションを同時利用してるとちと不便だ。
ってことでプロンプト表示のたびにリロード、追記を行うことで共有する。
~/.bashrcに、

function share_history {
    history -a
    history -c
    history -r
}
PROMPT_COMMAND='share_history'
shopt -u histappend
export HISTSIZE=9999

を追記。

history -a

追記(Appendかな)。

history -c

ロード済みのhisotryキャッシュを消去(Clearかな)。

history -r

リロード(Reload)。


これらをプロンプト表示時にコールするように設定し、

shopt -u histappend

Bash標準の上書き動作を解除。

参考サイト