Provided by: utop_2.9.0-1build4_amd64 bug


       utoprc - Configuration file of utop




       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>: <value>

       <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/

       The following style keys are used by utop:

               * identifier
               * module
               * comment
               * doc
               * constant
               * keyword
               * symbol
               * string
               * char
               * quotation
               * error
               * directive
               * parenthesis
               * blanks

       For each of these keys, the following sub-keys are used:

               * key.foreground
               * key.background
               * key.bold
               * key.underline
               * key.reverse
               * key.blink

       key.foreground  and  key.background are colors, and the others are booleans. Colors may be
       one of the standard terminal colors:

               * black
               * red
               * green
               * yellow
               * blue
               * magenta
               * cyan
               * white
               * light-black
               * light-red
               * light-green
               * light-yellow
               * light-blue
               * light-magenta
               * light-cyan
               * light-white

       or X11 colors, prefixed with "x-". For example:

               identifier.foreground:  x-goldenrod

       Colors can also be given by their RGB components, written #RRGGBB. For example:

               identifier.foreground:  #5fbf7f

       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".




       profile:                  dark
       identifier.foreground:    none
       comment.foreground:       x-chocolate1
       doc.foreground:           x-light-salmon
       constant.foreground:      x-aquamarine
       keyword.foreground:       x-cyan1
       symbol.foreground:        x-cyan1
       string.foreground:        x-light-salmon
       char.foreground:          x-light-salmon
       quotation.foreground:     x-purple
       error.foreground:         x-red
       parenthesis.background:   blue


       Jérémie Dimino <>



                                           August 2011                                  UTOPRC(5)