This manual page describes the format of the ~/.utoprc file. This is a text file which contains the configuration of utop. Comments start with a '!' and empty lines are ignored. Configuration lines are of the form:
<wildcard> may contains the '*' star character. In that case any key which match the pattern is given the value after the colon.
The boolean key autoload can be set to false to disable the autoloading of files in $OCAML_TOPLEVEL_PATH/autoload at startup.
The key external-editor can be set to a command line. It is used to edit the input when pressing C-x C-e. It defaults to the contents of the EDITOR environment variable.
The key profile may have the value dark or light. This is the same as calling UTop.set_profile in ~/.config/utop/init.ml.
The following style keys are used by utop:
For each of these keys, the following sub-keys are used:
key.foreground and key.background are colors, and the others are booleans. Colors may be one of the standard terminal colors:
or X11 colors, prefixed with "x-". For example:
Colors can also be given by their RGB components, written #RRGGBB. For example:
utop will choose the nearest color of the terminal when specifying a X11 color or a color given by its RGB components. If you are using gnome-terminal or konsole, you can enable 256 colors by setting the environment variable TERM to "xterm-256color".
Jérémie Dimino <email@example.com>