Skip to content

Configuring EasyCrypt

Jump to bottom
François Dupressoir edited this page Feb 26, 2025 · 1 revision

There are several ways of configuring easycrypt. (TODO: order by decreasing priority; ensure consistency in implementation.)

  1. Through command-line flags. (See easycrypt --help.)
  2. Through a local easycrypt.project file, placed at a prefix of the folder in which easycrypt is run—the closest such file in the hierarchy is selected.
  3. Through a global easycrypt.conf file, placed in $XDG_CONFIG_HOME/.config/easycrypt. (By default, ~/.config/easycrypt/easycrypt.conf.)
Clone this wiki locally