Library
Module
Module type
Parameter
Class
Class type
This function must be called exactly once before any call to readline
.
val readline :
?completion_fun:(string -> completion_result) ->
prompt:string ->
unit ->
string option
This function calls the readline
function of libreadline
. It returns a string containing the text inputted by the user, including the new line at the end, of None
if the user didn't input any text (for example by sending EOF
(ctrl+d) before inputting any text).
add_history line
adds line
in the libreadline
history, in a new entry.
append_to_last_entry line_cont
modifies the last entry of the history by appending line_cont
at the end.
This exception is thrown if init
is called twice.
This exception is thrown by init
when it fails to open the history file for read access.
This exception is thrown by init
when it fails to create the history file.