bash ヒストリーにハマる

bash のヒストリの長さを 20000 にセットして快適に使っていたのだが、 1～2年程前からなぜか 2000 を超えないようになり、不便を感じていた。

ググっても出ない。原因もよく分からないまま、しばらく「謎の2000上限」 に我慢していた。

最近(2011/05)、Ubuntu で adduser(8) で作ったユーザには ~/.bash_profile がないことに気づいた。

svn で保存していた /home/[MYNAME] を同期して使っていたので、 .bash_profile をコピーして使っていたのだが、これがヒストリ2000の原因か と思い、さっそく削除。 ノートでは意図どおりとなるも、デスクトップで依然同じ症状。

後でググると、Ubuntu では .profile を使うようになったというだけで 特に原因とは直接関係なかった。

.bashrc で下記の記述がある:

HISTSIZE=1000
HISTFILESIZE=2000

この箇所は (OS のデフォルトの .bashrc であることを尊重し)そのまま残し、 後の方で再定義していたのだが、これがだめなようだ(なぜ？)。 この記述の箇所を直接 20000 に修正することで対応できることがわかった。