read_history 408 ext/readline/readline.c if (read_history(arg)) { read_history 615 ext/readline/readline_cli.c read_history(history_file);