Added tips for simple prompt without fancy features

This commit is contained in:
mars0i 2019-04-30 21:53:07 -05:00 committed by Perry E. Metzger
parent 5637c67a7c
commit b2eed8cb69
1 changed files with 11 additions and 0 deletions

View File

@ -85,6 +85,17 @@ terminals with light colors (such as black on white).
You can customize the prompt of utop by setting the reference You can customize the prompt of utop by setting the reference
`UTop.prompt`. `UTop.prompt`.
To turn off all colors and remove the line above the prompt
that lists time, etc., add this to your .ocamlinit file:
```OCaml
#utop_prompt_dummy;;
```
To turn off the line of boxes listing possible completions that appears under
the prompt, add this to .ocamlinit:
```OCaml
UTop.set_show_box false
```
### Key bindings ### Key bindings
Key bindings in the terminal can be changed by writing a Key bindings in the terminal can be changed by writing a