history_lines_to_write  590 ext/readline/readline_cli.c 	int history_lines_to_write = 0;
history_lines_to_write  653 ext/readline/readline_cli.c 			history_lines_to_write += 1;
history_lines_to_write  663 ext/readline/readline_cli.c 		if (history_lines_to_write) {
history_lines_to_write  667 ext/readline/readline_cli.c 			append_history(history_lines_to_write, history_file);
history_lines_to_write  669 ext/readline/readline_cli.c 			history_lines_to_write = 0;