bash のヒストリが保存されなくて謎だな､って環境に陥った時の対処法

そういう環境､無くはない｡いろいろ理由があってそうしてる場合もあるから､履歴保存するリスクについても考慮する必要はありますが､リスクはないと判断した場合には以下のような手順で対応可能｡

set -o | grep history

をみて確認する｡history off になってたら set -o history と .bashrc に書く｡

次に echo $HISTFILE を実行する｡/dev/null とかになってたら

export HISTFILE=~/.bash_history

などと .bashrc に書く｡

echo $HISTSIZE
echo $HISTFILESIZE

してみて､0になってたりしたら

HISTFILESIZE=500
HISTSIZE=500

とか書く｡

ということが､いかの stackexchange のページにかいてあって参考になった｡

Published: 2015-05-07(Thu) 23:24