From 975d04b2107de9d720808b63f1897be0f307f503 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 8 Jul 2013 11:12:07 +0100 Subject: [PATCH] describe how to change key bindings --- README.md | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 19c2cc7..6d81e8e 100644 --- a/README.md +++ b/README.md @@ -79,14 +79,33 @@ completions in real-time. You can navigate in it using `Alt+Left` and Customization ------------- +### Colors + To add colors to utop, copy one of the files `utoprc-dark` or `utoprc-light` to `~/.utoprc`. `utoprc-dark` is for terminals with dark colors (such as white on black) and `utoprc-light` is for terminals with light colors (such as black on white). -You can also customize the prompt of utop by setting the reference +### Prompt + +You can customize the prompt of utop by setting the reference `UTop.prompt`. +### Key bindings + +Key bindings in the terminal can be changed by writing a +`~/.lambda-term-inputrc` file. For example: + + [read-line] + C-left: complete-bar-prev + C-right: complete-bar-next + C-down: complete-bar + +If manual pages are correctly installed you can see a description of +this file by executing: + + $ man 5 lambda-term-inputrc + Integration with emacs ----------------------