Readline (GNU)
readline readline_add_history readline_clear_history readline_completion_function readline_info readline_list_history readline_read_history readline_write_history
Description
void readline_add_history(string line )
readline_add_history ajoute une ligne à l'historique.