MUREX_HISTORY (str)

Defines the path to the .murex_history log

Description

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.

See Also

• Command Line History (history): Outputs murex's command history
• MUREX_CONFIG_DIR: Defines the path to Murex's config
• MUREX_MODULES: Defines the path to the modules directory
• MUREX_PRELOAD: Defines the path to the .murex_preload script
• MUREX_PROFILE: Defines the path to the .murex_profile script
• Profile Files: A breakdown of the different files loaded on start up

---

This document was generated from gen/variables/MUREX_HISTORY_doc.yaml.