Module CASS.RCFile

Some operations to handle the CASS resource configuration file that is stored in $HOME/.cassrc

Author: Michael Hanus

Version: January 2025

Summary of exported operations:

readRCFile :: IO CConfig  Deterministic 
Reads the rc file (and try to install a user copy of it if it does not exist) and returns its definition.
updateProperty :: String -> String -> CConfig -> CConfig  Deterministic 
Updates a property.

Exported operations:

readRCFile :: IO CConfig  Deterministic 

Reads the rc file (and try to install a user copy of it if it does not exist) and returns its definition. Additionally, the definitions are compared with the default property file of the CASS distribution. If the set of variables is different, the rc file of the user is updated with the distribution but the user's definitions are kept.

updateProperty :: String -> String -> CConfig -> CConfig  Deterministic 

Updates a property.