2011年11月26日
Tweet
bashにて複数端末間でコマンド履歴(history)を共有する方法
わかりやすくて大変すばらしいサイトがありました。
そもそも bash では例えば同じユーザーで複数ログインしている場合、 history にちゃんと履歴が残りません。
ということで、上記URLにあるように bashrc に記載
-----------------
function share_history {
history -a
history -c
history -r
}
PROMPT_COMMAND='share_history'
shopt -u histappend
export HISTSIZE=9999
-----------------
そのほか以下のコマンドも追加してみました。
export HISTTIMEFORMAT="%y/%m/%d %H:%M:%S: "
bashをzshに負けないぐらい高機能化するためのtips
これで快適になるかと思います。
わかりやすくて大変すばらしいサイトがありました。
そもそも bash では例えば同じユーザーで複数ログインしている場合、 history にちゃんと履歴が残りません。
ということで、上記URLにあるように bashrc に記載
-----------------
function share_history {
history -a
history -c
history -r
}
PROMPT_COMMAND='share_history'
shopt -u histappend
export HISTSIZE=9999
-----------------
そのほか以下のコマンドも追加してみました。
export HISTTIMEFORMAT="%y/%m/%d %H:%M:%S: "
bashをzshに負けないぐらい高機能化するためのtips
これで快適になるかと思います。
