---
name: "utoprc"
section: "5"
platform: "linux"
package: "utop"
version: "2.15.0-1+b9"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/utoprc"
---

# utoprc(5)

Configuration file of utop

## NAME

utoprc - Configuration file of utop

## SYNOPSIS

**~/.utoprc**

## DESCRIPTION

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 contain the '\*' asterisk character. In that case any key which matches 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:

        \* 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 an 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".

## FILES

*~/.utoprc*

## EXAMPLE

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

## AUTHOR

Jérémie Dimino \<jeremie@dimino.org\>

## SEE ALSO

[**utop**(1)](/utop/1.md).