Plugins¶
Plugin paths¶
Évariste looks fro new plugins (as python packages) in the following directories (this is relevant when writing or installing new plugins):
.evariste/plugins/foo.py(relative to the directory of the setup file);~/.local/evariste/plugins/foo.py~/.evariste/plugins/foo.pyLIBDIR/foo.py(whereLIBDIRis any directory of the libdirs setup option).