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

書式

$HISTFILE

説明

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

サンプルコード

echo $HISTFILE