bashにて複数端末間でコマンド履歴(history)を共有する方法
http://iandeth.dyndns.org/mt/ian/archives/000651.html
これはいい。
zshの一番の魅力を SHARE_HISTORYオプションに感じていたものとしては
感動しました。
早速 .bashrc に追記してみたところ、
puttyのウィンドウタイトルの user@host:path が消えてしまいました。
調べてみたところ私の環境ではxterm用としてPROMPT_COMMANDにecho
コマンドを使用していたようなので、それを上書きしないように変更してうまくいきました。
PROMPT_COMMAND='share_history'
この部分を
PROMPT_COMMAND="share_history;$PROMPT_COMMAND"
このように修正
ただ、このリンク先の方法を使うと残念なことに履歴番号が使い物にならなくなってしまいます。