mario.get_settings_path
- mario.get_settings_path()#
Return the user configuration file path without creating or loading it.
- Returns:
settings.yamlunderMARIO_CONFIG_DIRwhen set, otherwise under~/Library/Application Support/MARIOon macOS,%APPDATA%/MARIOon Windows, or$XDG_CONFIG_HOME/mario(default~/.config/mario) on other platforms. Windows falls back to~/AppData/RoamingwhenAPPDATAis unset.- Return type:
pathlib.Path
Notes
Set
MARIO_CONFIG_DIRbefore importing MARIO to use a separate profile for a project or environment. Prefer an absolute directory path. The default profile is shared by environments belonging to the same user.
See Settings and Utilities for profile persistence and reset examples.