Searched refs:history_file (Results 1 – 1 of 1) sorted by relevance
| /php-src/ext/readline/ |
| H A D | readline_cli.c | 602 char *history_file; in readline_shell_run() local
616 spprintf(&history_file, MAXPATHLEN, "%s", getenv(histfile_env_name)); in readline_shell_run()
618 spprintf(&history_file, MAXPATHLEN, "%s/.php_history", getenv("HOME")); in readline_shell_run()
621 spprintf(&history_file, MAX_PATH, "%s/.php_history", getenv("USERPROFILE")); in readline_shell_run()
634 read_history(history_file); in readline_shell_run()
691 write_history(history_file); in readline_shell_run()
693 append_history(history_lines_to_write, history_file); in readline_shell_run()
719 efree(history_file); in readline_shell_run()
|
Completed in 4 milliseconds
