Login Register

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

Links:

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

doc_python

2016-10-07 17:41:22

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_history (PHP 4, PHP 5, PHP 7) Reads the history bool readline_read_history ([ string $filename ] )

readline_callback_read_char (PHP 5 >= 5.1.0, PHP 7) Reads a character and informs the readline callback interface when a line is received

file:read() file:read (···) Reads the file file, according to the given formats, which specify what to read. For each format, the function returns a string or

read_file read_file(file, pri=None) Class Public methods Alias for: readfile