Searched refs:history_lines_to_write (Results 1 – 1 of 1) sorted by relevance
603 int history_lines_to_write = 0; in readline_shell_run() local679 history_lines_to_write += 1; in readline_shell_run()689 if (history_lines_to_write) { in readline_shell_run()693 append_history(history_lines_to_write, history_file); in readline_shell_run()695 history_lines_to_write = 0; in readline_shell_run()
Completed in 4 milliseconds
