Add "set history filename"