diff --git a/bob/extension/scripts/config.py b/bob/extension/scripts/config.py index bb877f24cb9b04a9888ef654c105b0fad4b91f24..83e60baee04b9f9404f1c5c60ccded753a84a4d0 100644 --- a/bob/extension/scripts/config.py +++ b/bob/extension/scripts/config.py @@ -4,8 +4,10 @@ import logging import click +from exposed.rc import UserDefaults + from .. import rc -from ..rc_config import _get_rc_path, _rc_to_str, _saverc +from ..rc_config import ENVNAME, RCFILENAME, _get_rc_path, _rc_to_str, _saverc from .click_helper import AliasedGroup, verbosity_option # Use the normal logging module. Verbosity and format of logging will be set by @@ -88,6 +90,7 @@ def set(key, value): * If something goes wrong. """ try: + rc = UserDefaults(path=RCFILENAME, envname=ENVNAME, logger=logger) rc[key] = value rc.write() except Exception: