Login Register

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 calls read_history() in the underlying library.

Links:

https://docs.python.org/3.5/library/readline.html#readline.read_history_file

doc_python

2016-10-07 17:41:22

Comments

Leave a Comment

Please login to continue.

Popular Articles

readline_read_history (PHP 4, PHP 5, PHP 7) Reads the history bool readline_read_history ([ string $filename ] )

readline.append_history_file() readline.append_history_file(nelements[, filename]) Append the last nelements items of history to a file. The default filename is ~/.history. The

readline.write_history_file() readline.write_history_file([filename]) Save the history list to a readline history file, overwriting any existing file. The default filename is ~

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_file history_file() Instance Public methods A copy of the default IRB.conf[:HISTORY_FILE]