MUREX_HISTORY (str)Defines the path to the
.murex_historylog
MUREX_HISTORY should be set outside of Murex and then
passed to Murex upon its start up.
The please read profile files doc for more information regarding this specific environmental variable plus also Murex profiles in general.
history: Outputs murex’s command history.murex_preload script.murex_profile scriptThis document was generated from gen/variables/MUREX_HISTORY_doc.yaml.
This site's content is rebuilt automatically from murex's source code after each merge to the master branch. Downloadable murex binaries are also built with the website.
Last built on Wed Dec 10 23:24:04 UTC 2025 against commit ec623f9ec623f9e05b9cd816d1c93e90c807e23ff173cd9.
Current version is 7.1.4143 (unknown) which has been verified against tests cases.