From 63fb91333222c3f16c5ad17e82a3e1b775f80551 Mon Sep 17 00:00:00 2001 From: mars0i Date: Tue, 30 Apr 2019 22:08:41 -0500 Subject: [PATCH] added tip to man page to make simple prompt --- man/utop.1 | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/man/utop.1 b/man/utop.1 index 20c3aae..ffaaf82 100644 --- a/man/utop.1 +++ b/man/utop.1 @@ -61,6 +61,13 @@ You can then add this line to your .I ~/.ocamlinit file. +To turn off utop's advanced prompt features, add the following to .ocamlinit +to turn off respectively (a) colors and the upper information line, and +(b) the lower boxed list of possible completions: + + #utop_prompt_dummy;; + UTop.set_show_box false + You can enable basic syntax highlighting in utop by writing a .I ~/.utoprc file. See