Home
last modified time | relevance | path

Searched refs:history_file (Results 1 – 1 of 1) sorted by relevance

/PHP-7.0/ext/readline/
H A Dreadline_cli.c590 char *history_file; in readline_shell_run() local
606 history_file = tilde_expand("~/.php_history"); in readline_shell_run()
609 read_history(history_file); in readline_shell_run()
666 write_history(history_file); in readline_shell_run()
668 append_history(history_lines_to_write, history_file); in readline_shell_run()
694 free(history_file); in readline_shell_run()

Completed in 11 milliseconds