＠IT：ヒストリを記録するファイルを変更するにはデフォルトでは、ヒストリはホームディレクトリ下の.bash_historyに保存される。これを指定しているのは環境変数のHISTFILEだ。これを変更すれば、.bash_history以外のファイルにヒストリを保存できる。 $ echo $HISTFILE /home/nori/.bash_history $ touch .history ←ヒストリを保存するファイルを作成 $ chmod 600 ~/.history ←所有者だけが読み書きできるようにする $ export HISTFILE=~/.history $ echo $HISTFILE /home/nori/.history
