history_lines_to_write  597 ext/readline/readline_cli.c 	int history_lines_to_write = 0;
history_lines_to_write  662 ext/readline/readline_cli.c 			history_lines_to_write += 1;
history_lines_to_write  672 ext/readline/readline_cli.c 		if (history_lines_to_write) {
history_lines_to_write  676 ext/readline/readline_cli.c 			append_history(history_lines_to_write, history_file);
history_lines_to_write  678 ext/readline/readline_cli.c 			history_lines_to_write = 0;