describe how to change key bindings

This commit is contained in:
Jeremie Dimino 2013-07-08 11:12:07 +01:00
parent cbc658ca41
commit 975d04b210
1 changed files with 20 additions and 1 deletions

View File

@ -79,14 +79,33 @@ completions in real-time. You can navigate in it using `Alt+Left` and
Customization Customization
------------- -------------
### Colors
To add colors to utop, copy one of the files `utoprc-dark` or To add colors to utop, copy one of the files `utoprc-dark` or
`utoprc-light` to `~/.utoprc`. `utoprc-dark` is for terminals with `utoprc-light` to `~/.utoprc`. `utoprc-dark` is for terminals with
dark colors (such as white on black) and `utoprc-light` is for dark colors (such as white on black) and `utoprc-light` is for
terminals with light colors (such as black on white). 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`. `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 Integration with emacs
---------------------- ----------------------