Module CASS.RCFile

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

Author
Michael Hanus
Version
May 2025
Exported Functions:

Exported Functions


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.