From 75a5d9458b0e9798d523152c56738b28acffc264 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Thu, 4 Jul 2019 15:55:55 +0200 Subject: [PATCH] Config file is now updated after changing config property Signed-off-by: Jim Martens --- src/twomartens/masterthesis/config.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/twomartens/masterthesis/config.py b/src/twomartens/masterthesis/config.py index 060d615..5c922d3 100644 --- a/src/twomartens/masterthesis/config.py +++ b/src/twomartens/masterthesis/config.py @@ -70,6 +70,9 @@ def set_property(key: str, value: str) -> None: section, prop = tuple(key.split(".")) parser.set(section, prop, value) + + with open(config_file, "w") as file: + parser.write(file) def list_property_values() -> None: