Type of path root

State cache

Directory containing state cache

Global lock file for the whole opamroot. Opam should generally read-lock this (e.g. initialisation and format upgrades require a write lock)

Main configuration file: $opam/config

Redirection file for opam root: $opam/redirected-opamroot

The list of configuration files location used by default (/etc/opamrc and ~/.opamrc). More general (lower priority) first.

Lock for updates on the main config file (write lock when changes to switches, repositories lists are expected. No lock needed otherwise)

Global lock file for the repositories mirrors: $opam/repo/lock

Global config file for the repositories mirrors: $opam/repo/repos-config

Init scripts location: $opam/opam-init

Installation dir for configured hooks: $$opam/opam-init/hooks

Log dir $opam/log

The directory where global backups are stored

Backup file for state export

The prefix for plugin commands ("opam-")

The directory for plugins data $opam/plugins

The directory for shared plugin binaries $opam/plugins/bin

The globally installed binary of the given plugin $opam/plugins/bin/opam-foo

The directory for a given plugin's data $opam/plugins/$name. "bin" is forbidden.

The last environment used regardless the switch

Switch related paths

Location of package-specific files relative to their build directory