[semidet]save_settings
[semidet]save_settings(+File)Save modified settings to File. Fails silently if the
settings file cannot be written. The save_settings/0
only attempts to save the settings file if some setting was modified
using set_setting/2.
- Errors
context_error(settings, no_default_file) for save_settings/0
if no default location is known.
- Enhanced in 8.3.3 (👉e645799) save_settings/1 to use setup_call_cleanup/3 to guarantee reclaiming resources.
- Enhanced in 8.1.32 (👉afc302a) save_settings/0: raise error if there is no default file known to save the settings.
