2 option "history-file" -
3 #~~~~~~~~~~~~~~~~~~~~~~
4 "(default='</qu>DEFAULT_HISTORY_FILE<qu>')"
5 string typestr = "filename"
8 If </qu>CURRENT_PROGRAM<qu> runs in interactive mode, it reads the history
9 file on startup. Upon exit, the in-memory history is appended