_ [Linux] Bashの複数端末間でコマンドライン履歴を共有するメモ

zshとかでなくても、Bashでコマンドラインヒストリを複数の端末で共有したりできるんですね。ということで、Bash環境でも便利なのでメモ。下記のサイトに、丁寧に解説が書いてありますので読むとなるほどと分かります。

$HOME/.bashrcに以下の行を追加し、端末を立ち上げ直して反映させる。
-------------------------------------
function share_history {
    history -a
    history -c
    history -r
}
PROMPT_COMMAND='share_history'
shopt -u histappend
export HISTSIZE=9999
-------------------------------------
  
iandeth. - bashにて複数端末間でコマンド履歴(history)を共有する方法
http://iandeth.dyndns.org/mt/ian/archives/000651.html