OpamPathSourceDefines the file hierarchy in ~/.opam
Type of path root
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
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)
Archives dir
Archive file: $opam/archives/$NAME.$VERSION+opam.tar.gz
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 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.