Login Register

readline_read_history

(PHP 4, PHP 5, PHP 7)

Reads the history

bool readline_read_history ([ string $filename ] )

This function reads a command history from a file.

Parameters:

filename

Path to the filename containing the command history.

Returns:

Returns TRUE on success or FALSE on failure.

Links:

http://php.net/manual/en/function.readline-read-history.php

doc_php

2016-02-24 15:55:05

Comments

Leave a Comment

Please login to continue.

Popular Articles

readline.read_history_file() readline.read_history_file([filename]) Load a readline history file, and append it to the history list. The default filename is ~/.history. This c

readline.read_init_file() readline.read_init_file([filename]) Execute a readline initialization file. The default filename is the last filename used. This calls rl_read_ini

history_read history_read($nid) Retrieves the timestamp for the current user's last view of a specified node. Parameters int $nid: A node ID. Return value int I

readline_list_history (PHP 4, PHP 5, PHP 7) Lists the history array readline_list_history ( void ) G

readline.add_history() readline.add_history(line) Append line to the history buffer, as if it was the last line typed. This calls add_history() in the underlying library