Readline (GNU)
readline readline_add_history readline_clear_history readline_completion_function readline_info readline_list_history readline_read_history readline_write_history
Description
boolean readline_write_history(string filename )
readline_write_history écrit filename dans l'historique.