ヒストリーを保存するファイル名

書式

$HISTFILE

ヒストリーを保存するファイル名はHISTFILEに入っています。

echo $HISTFILE