diff --git a/src/uTop_console.ml b/src/uTop_console.ml index 87c3329..029b9b8 100644 --- a/src/uTop_console.ml +++ b/src/uTop_console.ml @@ -411,4 +411,5 @@ lwt () = join [ init_history (); init_resources (); init_read_interactive_input (); + LTerm_inputrc.load (); ]