Save a readline history file. The default filename is ~/.history.
readline/write_history_file
write_history_file