readline_write_history
Description
bool readline_write_history ( string filename)This function writes the command history to a file.
| readline_write_historyDescriptionbool readline_write_history ( string filename)This function writes the command history to a file. | |