From c08087fa5fadab0b120b04d566cd2df2bd382146 Mon Sep 17 00:00:00 2001
From: Yannick DAYER <yannick.dayer@idiap.ch>
Date: Sat, 12 Nov 2022 01:03:53 +0100
Subject: [PATCH] Fix rc not updating its config file path on the CI
---
bob/extension/scripts/config.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/bob/extension/scripts/config.py b/bob/extension/scripts/config.py
index bb877f2..83e60ba 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:
--
GitLab