|
|
|
@ -140,6 +140,12 @@ class SimpleConfig(PrintError): |
|
|
|
if not self.is_modifiable(key): |
|
|
|
if not self.is_modifiable(key): |
|
|
|
self.print_stderr("Warning: not changing config key '%s' set on the command line" % key) |
|
|
|
self.print_stderr("Warning: not changing config key '%s' set on the command line" % key) |
|
|
|
return |
|
|
|
return |
|
|
|
|
|
|
|
try: |
|
|
|
|
|
|
|
json.dumps(key) |
|
|
|
|
|
|
|
json.dumps(value) |
|
|
|
|
|
|
|
except: |
|
|
|
|
|
|
|
self.print_error(f"json error: cannot save {repr(key)} ({repr(value)})") |
|
|
|
|
|
|
|
return |
|
|
|
self._set_key_in_user_config(key, value, save) |
|
|
|
self._set_key_in_user_config(key, value, save) |
|
|
|
|
|
|
|
|
|
|
|
def _set_key_in_user_config(self, key, value, save=True): |
|
|
|
def _set_key_in_user_config(self, key, value, save=True): |
|
|
|
|