1
2
3
4
5
6
7
8UTOPRC(5) File Formats Manual UTOPRC(5)
9
10
11
13 utoprc - Configuration file of utop
14
15
17 ~/.utoprc
18
19
21 This manual page describes the format of the ~/.utoprc file. This is a
22 text file which contains the configuration of utop. Comments start with
23 a '!' and empty lines are ignored. Configuration lines are of the form:
24
25 <wildcard>: <value>
26
27 <wildcard> may contains the '*' star character. In that case any key
28 which match the pattern is given the value after the colon.
29
30 The boolean key autoload can be set to false to disable the autoloading
31 of files in $OCAML_TOPLEVEL_PATH/autoload at startup.
32
33 The key external-editor can be set to a command line. It is used to
34 edit the input when pressing C-x C-e. It defaults to the contents of
35 the EDITOR environment variable.
36
37 The key profile may have the value dark or light. This is the same as
38 calling UTop.set_profile in ~/.config/utop/init.ml.
39
40 The following style keys are used by utop:
41
42 * identifier
43 * module
44 * comment
45 * doc
46 * constant
47 * keyword
48 * symbol
49 * string
50 * char
51 * quotation
52 * error
53 * directive
54 * parenthesis
55 * blanks
56
57 For each of these keys, the following sub-keys are used:
58
59 * key.foreground
60 * key.background
61 * key.bold
62 * key.underline
63 * key.reverse
64 * key.blink
65
66 key.foreground and key.background are colors, and the others are bool‐
67 eans. Colors may be one of the standard terminal colors:
68
69 * black
70 * red
71 * green
72 * yellow
73 * blue
74 * magenta
75 * cyan
76 * white
77 * light-black
78 * light-red
79 * light-green
80 * light-yellow
81 * light-blue
82 * light-magenta
83 * light-cyan
84 * light-white
85
86 or X11 colors, prefixed with "x-". For example:
87
88 identifier.foreground: x-goldenrod
89
90 Colors can also be given by their RGB components, written #RRGGBB. For
91 example:
92
93 identifier.foreground: #5fbf7f
94
95 utop will choose the nearest color of the terminal when specifying a
96 X11 color or a color given by its RGB components. If you are using
97 gnome-terminal or konsole, you can enable 256 colors by setting the
98 environment variable TERM to "xterm-256color".
99
100
102 ~/.utoprc
103
104
106 profile: dark
107 identifier.foreground: none
108 comment.foreground: x-chocolate1
109 doc.foreground: x-light-salmon
110 constant.foreground: x-aquamarine
111 keyword.foreground: x-cyan1
112 symbol.foreground: x-cyan1
113 string.foreground: x-light-salmon
114 char.foreground: x-light-salmon
115 quotation.foreground: x-purple
116 error.foreground: x-red
117 parenthesis.background: blue
118
119
121 Jérémie Dimino <jeremie@dimino.org>
122
123
125 utop(1).
126
127
128
129 August 2011 UTOPRC(5)